1 files changed, 11 insertions, 1 deletions
diff --git a/src/smt/assertions.cpp b/src/smt/assertions.cpp
index 8019c383d..714622bae 100644
--- a/src/smt/assertions.cpp
+++ b/src/smt/assertions.cpp
@@ -197,7 +197,7 @@ void Assertions::addFormula(
   }
 
   // Add the normalized formula to the queue
-  d_assertions.push_back(n, isAssumption);
+  d_assertions.push_back(n, isAssumption, true);
 }
 
 void Assertions::addDefineFunRecDefinition(Node n, bool global)
@@ -234,5 +234,15 @@ void Assertions::ensureBoolean(const Node& n)
   }
 }
 
+void Assertions::setProofGenerator(smt::PreprocessProofGenerator* pppg)
+{
+  d_assertions.setProofGenerator(pppg);
+}
+
+bool Assertions::isProofEnabled() const
+{
+  return d_assertions.isProofEnabled();
+}
+
 }  // namespace smt
 }  // namespace CVC4