From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Wed, 21 Oct 2020 18:53:20 +0000 (-0700)
Subject: (proof-new) Add arith proof macros file to CMake (#5321)
X-Git-Tag: cvc5-1.0.0~2674
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3c68378f6a87d96b2baadb35988777c06f54727b;p=cvc5.git

(proof-new) Add arith proof macros file to CMake (#5321)
---

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