diff options
| author | Guy <katz911@gmail.com> | 2016-03-23 12:07:59 -0700 |
|---|---|---|
| committer | Guy <katz911@gmail.com> | 2016-03-23 12:07:59 -0700 |
| commit | aa9aa46b77f048f2865c29e40ed946371fd115ef (patch) | |
| tree | 254f392449a03901f7acb7a65e9499193d07ac9a /src/Makefile.am | |
| parent | 786cd2dd5b1c53f650c891d6dfbf299a62840848 (diff) | |
squash-merge from proof branch
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 \ |