projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e4a3d7e)
(proof-new) Add arith proof macros file to CMake (#5321)
authorAlex Ozdemir <aozdemir@hmc.edu>
Wed, 21 Oct 2020 18:53:20 +0000 (11:53 -0700)
committerGitHub <noreply@github.com>
Wed, 21 Oct 2020 18:53:20 +0000 (13:53 -0500)
src/CMakeLists.txt patch | blob | history

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 5966debc19a2cd52c9d7125c401ace1516bb3b6d..a9bc8dc7e5c41c49f2090efdc509d2d6afff3274 100644 (file)
--- 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