diff options
Diffstat (limited to 'test/system/smt2_compliance.cpp')
-rw-r--r-- | test/system/smt2_compliance.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/system/smt2_compliance.cpp b/test/system/smt2_compliance.cpp index f754adc0e..108e30b5c 100644 --- a/test/system/smt2_compliance.cpp +++ b/test/system/smt2_compliance.cpp @@ -14,16 +14,16 @@ ** A test of SMT-LIBv2 commands, checks for compliant output. **/ +#include <cassert> #include <iostream> #include <sstream> -#include <cassert> -#include "smt/options.h" -#include "parser/parser.h" #include "expr/expr_manager.h" -#include "expr/command.h" -#include "smt/smt_engine.h" +#include "options/smt_options.h" +#include "parser/parser.h" #include "parser/parser_builder.h" +#include "smt/smt_engine.h" +#include "smt_util/command.h" using namespace CVC4; using namespace CVC4::parser; |