diff options
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index aa12c7e03..94ddf452a 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -76,6 +76,9 @@ libcvc4_la_SOURCES = \ printer/cvc/cvc_printer.cpp \ printer/tptp/tptp_printer.h \ printer/tptp/tptp_printer.cpp \ + proof/arith_proof.cpp \ + proof/arith_proof.h \ + proof/array_proof.cpp \ proof/array_proof.h \ proof/bitvector_proof.cpp \ proof/bitvector_proof.h \ @@ -89,6 +92,8 @@ libcvc4_la_SOURCES = \ proof/proof_utils.h \ proof/sat_proof.h \ proof/sat_proof_implementation.h \ + proof/skolemization_manager.cpp \ + proof/skolemization_manager.h \ proof/theory_proof.cpp \ proof/theory_proof.h \ proof/uf_proof.cpp \ |