From 52281cf25960740c46275783cf62c881fa8ef703 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 10 Sep 2018 11:35:14 -0700
Subject: cmake: Move find_package to where it is actually needed.

---
 src/parser/cvc/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/parser/cvc')

diff --git a/src/parser/cvc/CMakeLists.txt b/src/parser/cvc/CMakeLists.txt
index ab88ffe1b..c75df0ab4 100644
--- a/src/parser/cvc/CMakeLists.txt
+++ b/src/parser/cvc/CMakeLists.txt
@@ -14,7 +14,6 @@ add_custom_command(
     ${ANTLR_BINARY}
       ${CMAKE_CURRENT_SOURCE_DIR}/Cvc.g
       -fo ${CMAKE_CURRENT_BINARY_DIR}
-      2> /dev/null # Ignore Antlr3 warnings
   DEPENDS
     Cvc.g
 )
-- 
cgit v1.2.3