Clear out decls/defs with RESET command.

diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g
index 81e022c8275dfe891658755e7c1557e5717e1007..151e2ecb61b7c5b0426316ae3c77fb72238175f6 100644 (file)
--- 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