diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Expr.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index 4bebd521..f893c6cc 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -197,8 +197,10 @@ public: typedef llvm::DenseSet<std::pair<const Expr *, const Expr *> > ExprEquivSet; int compare(const Expr &b, ExprEquivSet &equivs) const; int compare(const Expr &b) const { - ExprEquivSet equivs; - return compare(b, equivs); + static ExprEquivSet equivs; + int r = compare(b, equivs); + equivs.clear(); + return r; } virtual int compareContents(const Expr &b) const { return 0; } |