diff options
Diffstat (limited to 'test/unit/parser')
-rw-r--r-- | test/unit/parser/parser_black.h | 9 | ||||
-rw-r--r-- | test/unit/parser/parser_builder_black.h | 11 |
2 files changed, 12 insertions, 8 deletions
diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index 61da34460..9b700eda6 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -19,15 +19,16 @@ #include <cxxtest/TestSuite.h> #include <sstream> +#include "base/output.h" #include "expr/expr.h" #include "expr/expr_manager.h" +#include "options/language.h" +#include "options/options.h" #include "parser/parser.h" #include "parser/parser_builder.h" #include "parser/smt2/smt2.h" -#include "expr/command.h" -#include "options/options.h" -#include "util/output.h" -#include "util/language.h" +#include "smt_util/command.h" + using namespace CVC4; using namespace CVC4::parser; diff --git a/test/unit/parser/parser_builder_black.h b/test/unit/parser/parser_builder_black.h index c2c7cc18d..029c95ec9 100644 --- a/test/unit/parser/parser_builder_black.h +++ b/test/unit/parser/parser_builder_black.h @@ -15,18 +15,21 @@ **/ #include <cxxtest/TestSuite.h> + #include <ext/stdio_filebuf.h> -#include <fstream> -#include <iostream> #include <stdio.h> #include <string.h> #include <sys/stat.h> #include <unistd.h> -#include "expr/command.h" +#include <fstream> +#include <iostream> + +#include "options/language.h" #include "parser/parser.h" #include "parser/parser_builder.h" -#include "util/language.h" +#include "smt_util/command.h" + typedef __gnu_cxx::stdio_filebuf<char> filebuf_gnu; |