From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Tue, 9 Feb 2010 03:27:16 +0000 (+0000)
Subject: empty stubs for push and pop to fix the build fail
X-Git-Tag: cvc5-1.0.0~9268
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cbd51a7c0219f7ced9d48ef3810c440dda1fe8e5;p=cvc5.git

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 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 */