From c5f577843cae023cbebf79e91f049ad52818d3fa Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Sun, 23 May 2010 06:36:26 +0000 Subject: [PATCH] * 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 --- src/parser/Makefile | 2 +- src/parser/smtlib2.y | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/src/parser/Makefile b/src/parser/Makefile index 5dff810..9997c05 100644 --- 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 efa97f7..1bb52ac 100644 --- a/src/parser/smtlib2.y +++ b/src/parser/smtlib2.y @@ -249,7 +249,6 @@ cmdi: { assertionsSMT2.push_back(*$3); } -| ; status: -- 2.47.3