diff options
Diffstat (limited to 'examples/hashsmt/word.h')
| -rw-r--r-- | examples/hashsmt/word.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/hashsmt/word.h b/examples/hashsmt/word.h index 50fdee0c0..e8d6053c0 100644 --- a/examples/hashsmt/word.h +++ b/examples/hashsmt/word.h @@ -61,7 +61,7 @@ public: } /** Returns the comparison expression */ - CVC4::BoolExpr operator == (const Word& b) const; + CVC4::Expr operator == (const Word& b) const; }; inline std::ostream& operator << (std::ostream& out, const Word& word) { |