diff options
Diffstat (limited to 'examples/hashsmt/sha1_collision.cpp')
-rw-r--r-- | examples/hashsmt/sha1_collision.cpp | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/examples/hashsmt/sha1_collision.cpp b/examples/hashsmt/sha1_collision.cpp index e23be29bf..9ed4424ba 100644 --- a/examples/hashsmt/sha1_collision.cpp +++ b/examples/hashsmt/sha1_collision.cpp @@ -22,16 +22,17 @@ * Author: dejan */ -#include <string> +#include <boost/uuid/sha1.hpp> #include <fstream> #include <iostream> #include <sstream> +#include <string> -#include "word.h" +#include "options/language.h" +#include "options/set_language.h" #include "sha1.hpp" #include "smt_util/command.h" - -#include <boost/uuid/sha1.hpp> +#include "word.h" using namespace std; using namespace CVC4; @@ -69,7 +70,7 @@ int main(int argc, char* argv[]) { // The output ofstream output(argv[3]); - output << expr::ExprSetDepth(-1) << expr::ExprSetLanguage(language::output::LANG_SMTLIB_V2); + output << expr::ExprSetDepth(-1) << language::SetLanguage(language::output::LANG_SMTLIB_V2); output << SetBenchmarkLogicCommand("QF_BV") << endl; output << SetBenchmarkStatusCommand(SMT_UNSATISFIABLE) << endl; @@ -103,6 +104,3 @@ int main(int argc, char* argv[]) { cerr << e << endl; } } - - - |