diff options
Diffstat (limited to 'examples/hashsmt/word.cpp')
-rw-r--r-- | examples/hashsmt/word.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/hashsmt/word.cpp b/examples/hashsmt/word.cpp index d1b8e2fef..c6cb8caf2 100644 --- a/examples/hashsmt/word.cpp +++ b/examples/hashsmt/word.cpp @@ -34,7 +34,7 @@ ExprManager* Word::em() { return s_manager; } -BoolExpr Word::operator == (const Word& b) const { +Expr Word::operator == (const Word& b) const { return em()->mkExpr(kind::EQUAL, d_expr, b.getExpr()); } |