2 files changed, 2 insertions, 2 deletions
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;