* fix reduce/reduce error in the smtlib2 format.

* fix dependencies of smtlib2 format in the makefile.

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

diff --git a/src/parser/Makefile b/src/parser/Makefile
index 5dff810396f60dd4524237190fa28483cae2b464..9997c05b0db845d204c5d0fd7972830ae085c5df 100644 (file)
--- a/src/parser/Makefile
+++ b/src/parser/Makefile
@@ -35,7 +35,7 @@ parseSM%_defs.h parseSM%.cpp:smtlib.y
                @cp  smt.tab.c parseSMT.cpp
                @cp  smt.tab.h parseSMT_defs.h
 
-lex2SMT.cpp: parseSMT2_defs.h smtlib2.lex ../AST/AST.h
+lex2SMT.cpp: parse2SMT_defs.h smtlib2.lex ../AST/AST.h
                $(LEX) -olex2SMT.cpp -Psmt2 smtlib2.lex 
 
 parse2SM%_defs.h parse2SM%.cpp:smtlib2.y

diff --git a/src/parser/smtlib2.y b/src/parser/smtlib2.y
index efa97f7b1d1aee9b904ed9c2e65a51b48f28a5fb..1bb52ac9090a59e65cee51a59ac0a5e8013628e8 100644 (file)
--- a/src/parser/smtlib2.y
+++ b/src/parser/smtlib2.y
@@ -249,7 +249,6 @@ cmdi:
        {
        assertionsSMT2.push_back(*$3);
        }
-|
 ;
 
 status: