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

10 files changed, 10 insertions, 10 deletions

diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp
index 6428017f5..a1f74d694 100644
--- a/src/parser/antlr_input.cpp
+++ b/src/parser/antlr_input.cpp
@@ -37,7 +37,7 @@
 #include "parser/smt2/smt2_input.h"
 #include "parser/smt2/sygus_input.h"
 #include "parser/tptp/tptp_input.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 
 using namespace std;
 using namespace CVC4;
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g
index 08fba893e..d57aea93c 100644
--- a/src/parser/cvc/Cvc.g
+++ b/src/parser/cvc/Cvc.g
@@ -500,7 +500,7 @@ Expr addNots(ExprManager* em, size_t n, Expr e) {
 #include "options/set_language.h"
 #include "parser/antlr_tracing.h"
 #include "parser/parser.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 #include "util/subrange_bound.h"
 
 namespace CVC4 {
diff --git a/src/parser/input.cpp b/src/parser/input.cpp
index 7cc5ac0ca..896e8bc74 100644
--- a/src/parser/input.cpp
+++ b/src/parser/input.cpp
@@ -23,7 +23,7 @@
 #include "expr/type.h"
 #include "parser/parser.h"
 #include "parser/parser_exception.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 
 
 using namespace std;
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 3cfe78145..b9531e8d9 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -32,7 +32,7 @@
 #include "options/options.h"
 #include "parser/input.h"
 #include "parser/parser_exception.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 #include "util/resource_manager.h"
 
 using namespace std;
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"
 
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index 8be9ad2dd..fb3b5ec5e 100644
--- a/src/parser/smt2/Smt2.g
+++ b/src/parser/smt2/Smt2.g
@@ -86,7 +86,7 @@ using namespace CVC4::parser;
 
 #include "parser/parser.h"
 #include "parser/antlr_tracing.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 
 namespace CVC4 {
   class Expr;
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp
index 3b1467b5e..e3fbe36f2 100644
--- a/src/parser/smt2/smt2.cpp
+++ b/src/parser/smt2/smt2.cpp
@@ -21,7 +21,7 @@
 #include "parser/parser.h"
 #include "parser/smt1/smt1.h"
 #include "parser/smt2/smt2_input.h"
-#include "smt_util/command.h"
+#include "smt/command.h"
 #include "util/bitvector.h"
 
 // ANTLR defines these, which is really bad!
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 {