fix most of the warnings in the parser by (1) quieting unused-function and unused...
authorMorgan Deters <mdeters@gmail.com>
Mon, 5 Apr 2010 17:17:38 +0000 (17:17 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 5 Apr 2010 17:17:38 +0000 (17:17 +0000)
commit802f822594a1f2f7e742b9f33d23e78cca0f6863
tree404af34fab05b941f0cb498ecf1c67b8d6340ee2
parent7ad68dee25a36dc5950adaec32948d0157cb673c
fix most of the warnings in the parser by (1) quieting unused-function and unused-variable warnings in the generated code, which aren't useful, and (2) not #including our autoheader stuff in the parser, which was conflicting with antlr3's
src/include/cvc4parser_private.h
src/parser/cvc/Makefile.am
src/parser/smt/Makefile.am