2 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/tptp/Tptp.g b/src/parser/tptp/Tptp.g
index 52951dd38..d57aea376 100644
--- a/src/parser/tptp/Tptp.g
+++ b/src/parser/tptp/Tptp.g
@@ -92,7 +92,7 @@ using namespace CVC4::parser;
 // files. See the documentation in "parser/antlr_undefines.h" for more details.
 #include "parser/antlr_undefines.h"
 
-#include "smt_util/command.h"
+#include "smt/command.h"
 #include "parser/parser.h"
 #include "parser/tptp/tptp.h"
 #include "parser/antlr_tracing.h"
diff --git a/src/parser/tptp/tptp.h b/src/parser/tptp/tptp.h
index 5e00ea1ce..0937a11bf 100644
--- a/src/parser/tptp/tptp.h
+++ b/src/parser/tptp/tptp.h
@@ -25,7 +25,7 @@
 #include <ext/hash_set>
 
 #include "parser/parser.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 #include "util/hash.h"
 
 namespace CVC4 {