2 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h
index 6ecc76c2b..3c4171925 100644
--- a/test/unit/parser/parser_black.h
+++ b/test/unit/parser/parser_black.h
@@ -28,7 +28,7 @@
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
 #include "parser/smt2/smt2.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 
 
 using namespace CVC4;
diff --git a/test/unit/parser/parser_builder_black.h b/test/unit/parser/parser_builder_black.h
index 029c95ec9..42d240668 100644
--- a/test/unit/parser/parser_builder_black.h
+++ b/test/unit/parser/parser_builder_black.h
@@ -28,7 +28,7 @@
 #include "options/language.h"
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 
 
 typedef __gnu_cxx::stdio_filebuf<char> filebuf_gnu;