7 files changed, 7 insertions, 7 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp
index b2dbaf39b..672dedc50 100644
--- a/src/main/command_executor.cpp
+++ b/src/main/command_executor.cpp
@@ -22,7 +22,7 @@
 #include <string>
 
 #include "main/main.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 
 
 namespace CVC4 {
diff --git a/src/main/command_executor.h b/src/main/command_executor.h
index 03bbe661b..d8294212a 100644
--- a/src/main/command_executor.h
+++ b/src/main/command_executor.h
@@ -20,8 +20,8 @@
 
 #include "expr/expr_manager.h"
 #include "options/options.h"
+#include "smt/command.h"
 #include "smt/smt_engine.h"
-#include "smt_util/command.h"
 #include "util/statistics_registry.h"
 
 namespace CVC4 {
diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index bf1143647..15165e82c 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -33,7 +33,7 @@
 #include "main/portfolio.h"
 #include "options/options.h"
 #include "options/set_language.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 
 
 using namespace std;
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index 83b85c170..b83907bd3 100644
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -42,7 +42,7 @@
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
 #include "parser/parser_exception.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 #include "util/result.h"
 #include "util/statistics_registry.h"
 
diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp
index 19e4859b0..4982cb2bb 100644
--- a/src/main/interactive_shell.cpp
+++ b/src/main/interactive_shell.cpp
@@ -44,8 +44,8 @@
 #include "parser/input.h"
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
+#include "smt/command.h"
 #include "theory/logic_info.h"
-#include "smt_util/command.h"
 
 using namespace std;
 
diff --git a/src/main/main.cpp b/src/main/main.cpp
index 9151d8bf7..56fc3ef40 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -32,8 +32,8 @@
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
 #include "parser/parser_exception.h"
+#include "smt/command.h"
 #include "smt/smt_engine.h"
-#include "smt_util/command.h"
 #include "util/result.h"
 #include "util/statistics.h"
 
diff --git a/src/main/portfolio.h b/src/main/portfolio.h
index cab8bda3c..a7f15a04d 100644
--- a/src/main/portfolio.h
+++ b/src/main/portfolio.h
@@ -20,8 +20,8 @@
 #include <utility>
 
 #include "options/options.h"
+#include "smt/command.h"
 #include "smt/smt_engine.h"
-#include "smt_util/command.h"
 #include "util/statistics_registry.h"
 
 namespace CVC4 {