From cbd51a7c0219f7ced9d48ef3810c440dda1fe8e5 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Dejan=20Jovanovi=C4=87?= <dejan.jovanovic@gmail.com>
Date: Tue, 9 Feb 2010 03:27:16 +0000
Subject: [PATCH] empty stubs for push and pop to fix the build fail

---
 src/smt/smt_engine.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index ed8f61ee6..d30255e4f 100644
--- 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 */
-- 
2.30.2