diff options
Diffstat (limited to 'test/unit/parser/parser_builder_black.h')
-rw-r--r-- | test/unit/parser/parser_builder_black.h | 11 |
1 files changed, 7 insertions, 4 deletions
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; |