From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 3 Sep 2011 18:13:04 +0000 (+0000)
Subject: Disable a warning to address bug 277.  (This doesn't really resolve the issue, but... 
X-Git-Tag: cvc5-1.0.0~8482
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=267d2b6d8addff9adafa3bd2574f54c741c7b0cd;p=cvc5.git

Disable a warning to address bug 277.  (This doesn't really resolve the issue, but the warning isn't dangerous here.  See the bugzilla comments.)
---

diff --git a/src/parser/cvc/Makefile.am b/src/parser/cvc/Makefile.am
index f20406c20..b78335516 100644
--- 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)