Cleaning up some header files

3 files changed, 6 insertions, 6 deletions

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index d511e48e7..f061c9c9a 100644
--- a/test/unit/Makefile.am
+++ b/test/unit/Makefile.am
@@ -74,13 +74,13 @@ AM_LDFLAGS_WHITE =
 AM_LDFLAGS_BLACK =
 AM_LDFLAGS_PUBLIC =
 AM_LIBADD_WHITE = \
+	@abs_top_builddir@/src/main/libmain.a \
 	@abs_top_builddir@/src/parser/libcvc4parser_noinst.la \
-	@abs_top_builddir@/src/libcvc4_noinst.la \
-	@abs_top_builddir@/src/main/libmain.a
+	@abs_top_builddir@/src/libcvc4_noinst.la
 AM_LIBADD_BLACK = \
+	@abs_top_builddir@/src/main/libmain.a \
 	@abs_top_builddir@/src/parser/libcvc4parser_noinst.la \
-	@abs_top_builddir@/src/libcvc4_noinst.la \
-	@abs_top_builddir@/src/main/libmain.a
+	@abs_top_builddir@/src/libcvc4_noinst.la
 AM_LIBADD_PUBLIC = \
 	@abs_top_builddir@/src/parser/libcvc4parser.la \
 	@abs_top_builddir@/src/libcvc4.la
diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h
index 288c3b1d5..2e1a6d3f4 100644
--- a/test/unit/parser/parser_black.h
+++ b/test/unit/parser/parser_black.h
@@ -25,10 +25,10 @@
 #include "expr/expr_manager.h"
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
-#include "parser/parser_options.h"
 #include "parser/smt2/smt2.h"
 #include "expr/command.h"
 #include "util/output.h"
+#include "util/language.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 407021b50..06259ddb0 100644
--- a/test/unit/parser/parser_builder_black.h
+++ b/test/unit/parser/parser_builder_black.h
@@ -28,7 +28,7 @@
 #include "expr/command.h"
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
-#include "parser/parser_options.h"
+#include "util/language.h"
 
 typedef __gnu_cxx::stdio_filebuf<char> filebuf_gnu;