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

4 files changed, 4 insertions, 4 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;
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;