2 files changed, 3 insertions, 1 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 0e8a9e241..120f63987 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -26,6 +26,7 @@
 
 #include "base/output.h"
 #include "expr/expr.h"
+#include "expr/expr_iomanip.h"
 #include "expr/kind.h"
 #include "expr/resource_manager.h"
 #include "expr/type.h"
@@ -331,7 +332,7 @@ Parser::mkMutualDatatypeTypes(const std::vector<Datatype>& datatypes) {
           j != j_end;
           ++j) {
         const DatatypeConstructor& ctor = *j;
-        Expr::printtypes::Scope pts(Debug("parser-idt"), true);
+        expr::ExprPrintTypes::Scope pts(Debug("parser-idt"), true);
         Expr constructor = ctor.getConstructor();
         Debug("parser-idt") << "+ define " << constructor << std::endl;
         string constructorName = ctor.getName();
diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp
index 08e0232aa..f473ae178 100644
--- a/src/parser/parser_builder.cpp
+++ b/src/parser/parser_builder.cpp
@@ -18,6 +18,7 @@
 #include <string>
 
 #include "expr/expr_manager.h"
+#include "options/base_options.h"
 #include "options/parser_options.h"
 #include "options/smt_options.h"
 #include "parser/input.h"