Disable a warning to address bug 277. (This doesn't really resolve the issue, but...

diff --git a/src/parser/cvc/Makefile.am b/src/parser/cvc/Makefile.am
index f20406c20fce4e010300a974666a2a6932b223da..b783355160068dad8e22afcbfc33dfcf2850c4f0 100644 (file)
--- a/src/parser/cvc/Makefile.am
+++ b/src/parser/cvc/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4PARSERLIB \
        -I@srcdir@/../../include -I@srcdir@/../.. -I@builddir@/../.. $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable
+AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable -Wno-conversion-null
 
 # Compile generated C files using C++ compiler
 CC=$(CXX)