diff options
Diffstat (limited to 'examples/hashsmt')
| -rw-r--r-- | examples/hashsmt/sha1_collision.cpp | 1 | ||||
| -rw-r--r-- | examples/hashsmt/sha1_inversion.cpp | 1 | ||||
| -rw-r--r-- | examples/hashsmt/word.cpp | 8 |
3 files changed, 9 insertions, 1 deletions
diff --git a/examples/hashsmt/sha1_collision.cpp b/examples/hashsmt/sha1_collision.cpp index 9ed4424ba..984cbde13 100644 --- a/examples/hashsmt/sha1_collision.cpp +++ b/examples/hashsmt/sha1_collision.cpp @@ -28,6 +28,7 @@ #include <sstream> #include <string> +#include "expr/expr_iomanip.h" #include "options/language.h" #include "options/set_language.h" #include "sha1.hpp" diff --git a/examples/hashsmt/sha1_inversion.cpp b/examples/hashsmt/sha1_inversion.cpp index 15c7d8728..9aac7bbe0 100644 --- a/examples/hashsmt/sha1_inversion.cpp +++ b/examples/hashsmt/sha1_inversion.cpp @@ -28,6 +28,7 @@ #include <sstream> #include <string> +#include "expr/expr_iomanip.h" #include "options/language.h" #include "options/set_language.h" #include "sha1.hpp" diff --git a/examples/hashsmt/word.cpp b/examples/hashsmt/word.cpp index 2e638f64f..7aa37e91b 100644 --- a/examples/hashsmt/word.cpp +++ b/examples/hashsmt/word.cpp @@ -26,6 +26,12 @@ #include <vector> +#include "expr/expr.h" +#include "expr/expr_iomanip.h" +#include "options/base_options.h" +#include "options/language.h" +#include "options/options.h" + using namespace std; using namespace hashsmt; using namespace CVC4; @@ -66,7 +72,7 @@ Word Word::concat(const Word words[], unsigned size) { } void Word::print(ostream& out) const { - out << CVC4::Expr::setdepth(-1) << d_expr; + out << CVC4::expr::ExprSetDepth(-1) << d_expr; } Word::Word(unsigned newSize, unsigned value) { |