empty stubs for push and pop to fix the build fail

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index ed8f61ee6b71c056d7b228643b2d666770ae56f3..d30255e4f9b7a35091b42b808c8bf042399ea39d 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -109,4 +109,10 @@ Expr SmtEngine::simplify(const Expr& e) {
   Unimplemented();
 }
 
+void SmtEngine::push() {
+}
+
+void SmtEngine::pop() {
+}
+
 }/* CVC4 namespace */