Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. Breaking an edge between the sat solver and command.h.

2 files changed, 2 insertions, 2 deletions

diff --git a/test/system/ouroborous.cpp b/test/system/ouroborous.cpp
index d27ebd9b3..1ceb7319f 100644
--- a/test/system/ouroborous.cpp
+++ b/test/system/ouroborous.cpp
@@ -33,7 +33,7 @@
 #include "options/set_language.h"
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 
 using namespace CVC4;
 using namespace CVC4::parser;
diff --git a/test/system/smt2_compliance.cpp b/test/system/smt2_compliance.cpp
index bc976685e..68fbb9f59 100644
--- a/test/system/smt2_compliance.cpp
+++ b/test/system/smt2_compliance.cpp
@@ -23,8 +23,8 @@
 #include "options/set_language.h"
 #include "parser/parser.h"
 #include "parser/parser_builder.h"
+#include "smt/command.h"
 #include "smt/smt_engine.h"
-#include "smt_util/command.h"
 
 using namespace CVC4;
 using namespace CVC4::parser;