From 3c68378f6a87d96b2baadb35988777c06f54727b Mon Sep 17 00:00:00 2001 From: Alex Ozdemir Date: Wed, 21 Oct 2020 11:53:20 -0700 Subject: [PATCH] (proof-new) Add arith proof macros file to CMake (#5321) --- src/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 5966debc1..a9bc8dc7e 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -387,6 +387,7 @@ libcvc4_add_sources( theory/arith/partial_model.h theory/arith/proof_checker.cpp theory/arith/proof_checker.h + theory/arith/proof_macros.h theory/arith/simplex.cpp theory/arith/simplex.h theory/arith/simplex_update.cpp -- 2.30.2