summaryrefslogtreecommitdiff
path: root/test/unit/parser/parser_builder_black.h
diff options
context:
space:
mode:
Diffstat (limited to 'test/unit/parser/parser_builder_black.h')
-rw-r--r--test/unit/parser/parser_builder_black.h11
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;
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback