diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Expr.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index af8bf10f..c5a110f8 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -715,6 +715,8 @@ public: int compare(const UpdateList &b) const; unsigned hash() const; +private: + void tryFreeNodes(); }; /// Class representing a one byte read from an array. |