From 2b7a6d2f2bcb26c0b5641bf7d0258c9fc9796c17 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Mon, 8 Feb 2010 18:46:32 +0000
Subject: Push/Pop parsing and commands

---
 src/parser/cvc/cvc_parser.g | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/parser/cvc/cvc_parser.g')

diff --git a/src/parser/cvc/cvc_parser.g b/src/parser/cvc/cvc_parser.g
index 30df2d439..7f4ce3c26 100644
--- a/src/parser/cvc/cvc_parser.g
+++ b/src/parser/cvc/cvc_parser.g
@@ -76,6 +76,8 @@ command returns [CVC4::Command* cmd = 0]
   | QUERY    f = formula  SEMICOLON { cmd = new QueryCommand(f);    }
   | CHECKSAT f = formula  SEMICOLON { cmd = new CheckSatCommand(f); }
   | CHECKSAT              SEMICOLON { cmd = new CheckSatCommand(getTrueExpr()); }
+  | PUSH                  SEMICOLON { cmd = new PushCommand(); }
+  | POP                   SEMICOLON { cmd = new PopCommand(); }
   | cmd = declaration
   | EOF
   ;
-- 
cgit v1.2.3