1 files changed, 3 insertions, 2 deletions
diff --git a/src/parser/input.cpp b/src/parser/input.cpp
index 09f71800b..82b6dd32f 100644
--- a/src/parser/input.cpp
+++ b/src/parser/input.cpp
@@ -18,10 +18,11 @@
 #include "parser/parser_exception.h"
 #include "parser/parser.h"
 
-#include "expr/command.h"
+#include "base/output.h"
+#include "smt_util/command.h"
 #include "expr/type.h"
 #include "parser/antlr_input.h"
-#include "util/output.h"
+
 
 using namespace std;
 using namespace CVC4;