From e36aeda0e759c5328ba76412dde8afbecf34970b Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 24 Feb 2021 16:26:44 -0800
Subject: Enable -Werror. (#5969)

---
 src/parser/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parser/CMakeLists.txt')

diff --git a/src/parser/CMakeLists.txt b/src/parser/CMakeLists.txt
index 8e69da34b..2fe92fb45 100644
--- a/src/parser/CMakeLists.txt
+++ b/src/parser/CMakeLists.txt
@@ -93,7 +93,7 @@ foreach(lang Cvc Smt2 Tptp)
 
   # We don't want to enable -Wall for code generated by ANTLR.
   set_source_files_properties(
-    ${gen_src_files} PROPERTIES COMPILE_FLAGS -Wno-all)
+    ${gen_src_files} PROPERTIES COMPILE_FLAGS "-Wno-all -Wno-error")
 
   # Add generated source files to the parser source files
   list(APPEND libcvc4parser_src_files ${gen_src_files})
-- 
cgit v1.2.3