2 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt1/Smt1.g b/src/parser/smt1/Smt1.g
index e8b7d5b9b..a8e797470 100644
--- a/src/parser/smt1/Smt1.g
+++ b/src/parser/smt1/Smt1.g
@@ -72,7 +72,7 @@ options {
 
 #include <stdint.h>
 
-#include "smt_util/command.h"
+#include "smt/command.h"
 #include "parser/parser.h"
 #include "parser/antlr_tracing.h"
 
diff --git a/src/parser/smt1/smt1.cpp b/src/parser/smt1/smt1.cpp
index 01bc8901e..a2abee2e7 100644
--- a/src/parser/smt1/smt1.cpp
+++ b/src/parser/smt1/smt1.cpp
@@ -18,7 +18,7 @@ namespace std {
 }
 
 #include "expr/type.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 #include "parser/parser.h"
 #include "parser/smt1/smt1.h"