From e21e99b7dfe45f042260db7eb754e25e7108f288 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Tue, 2 Feb 2016 09:47:34 -0800
Subject: Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/
 to smt/. Breaking an edge between the sat solver and command.h.

---
 src/include/cvc4.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/include')

diff --git a/src/include/cvc4.h b/src/include/cvc4.h
index 09be6ff4c..90088de40 100644
--- a/src/include/cvc4.h
+++ b/src/include/cvc4.h
@@ -26,8 +26,8 @@
 #include <cvc4/options/options.h>
 #include <cvc4/parser/parser.h>
 #include <cvc4/parser/parser_builder.h>
+#include <cvc4/smt/command.h>
 #include <cvc4/smt/smt_engine.h>
-#include <cvc4/smt_util/command.h>
 #include <cvc4/util/integer.h>
 #include <cvc4/util/rational.h>
 
-- 
cgit v1.2.3