From 267d2b6d8addff9adafa3bd2574f54c741c7b0cd Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 3 Sep 2011 18:13:04 +0000 Subject: [PATCH] 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.) --- src/parser/cvc/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.30.2