Bugfix. If given bad input, the SMTLIB2 parser would match as much as it could then...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@796 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/parser/smtlib2.y b/src/parser/smtlib2.y
index af67a134bece12fa87f0189e1acdeb8ddd66efa5..ffe850ab69879055a718a1c130b8d7e2fcb75e68 100644 (file)
--- a/src/parser/smtlib2.y
+++ b/src/parser/smtlib2.y
@@ -190,9 +190,10 @@
 %token SELECT_TOK;
 %token STORE_TOK; 
 
+%token END 0 "end of file"
 
 %%
-cmd: commands
+cmd: commands END
 {
        if(querysmt2.IsNull()) 
     {