From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 6 Oct 2014 18:47:54 +0000 (-0400)
Subject: Clear out decls/defs with RESET command.
X-Git-Tag: cvc5-1.0.0~6592
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6970ed001a5704b1b79bb3775adce70f8c3b9778;p=cvc5.git

Clear out decls/defs with RESET command.
---

diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g
index 81e022c82..151e2ecb6 100644
--- a/src/parser/cvc/Cvc.g
+++ b/src/parser/cvc/Cvc.g
@@ -697,7 +697,9 @@ mainCommand[CVC4::Command*& cmd]
     { UNSUPPORTED("POPTO_SCOPE command"); }
 
   | RESET_TOK
-    { cmd = new ResetCommand(); }
+    { cmd = new ResetCommand();
+      PARSER_STATE->reset();
+    }
 
     // Datatypes can be mututally-recursive if they're in the same
     // definition block, separated by a comma.  So we parse everything