diff options
Diffstat (limited to 'src/proof/Makefile.am')
-rw-r--r-- | src/proof/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/proof/Makefile.am b/src/proof/Makefile.am index 75588ceb8..e996ddb60 100644 --- a/src/proof/Makefile.am +++ b/src/proof/Makefile.am @@ -13,6 +13,8 @@ libproof_la_SOURCES = \ sat_proof.cpp \ cnf_proof.h \ cnf_proof.cpp \ + theory_proof.h \ + theory_proof.cpp \ proof_manager.h \ proof_manager.cpp |