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/parser/smt2/Smt2.g | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parser/smt2/Smt2.g')

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;
-- 
cgit v1.2.3