1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index bd7b74dce..bc1297ee5 100755
--- a/configure
+++ b/configure
@@ -16443,7 +16443,7 @@ if test "$enable_static" = yes; then BUILDING_STATIC=1; fi
 
 
 CPPFLAGS="${CPPFLAGS:+$CPPFLAGS }$CVC4CPPFLAGS"
-CXXFLAGS="${CXXFLAGS:+$CXXFLAGS }$CVC4CXXFLAGS"
+CXXFLAGS="${CXXFLAGS:+$CXXFLAGS }$CVC4CXXFLAGS -Wno-deprecated"
 LDFLAGS="${LDFLAGS:+$LDFLAGS }$CVC4LDFLAGS"
 
 # mk_include