diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-26 21:23:23 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-26 21:23:23 -0700 |
| commit | 4477a899a8d18a8bb901e77317892443c2df3aa2 (patch) | |
| tree | 6855d1b308ee138f51101e7e63dd2b3330e19978 | |
| parent | b470da4f651e8351408a9fe82f29011889ad7fc1 (diff) | |
Address
| -rw-r--r-- | src/proof/proof_manager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/proof_manager.h b/src/proof/proof_manager.h index 736930f3f..a59f36858 100644 --- a/src/proof/proof_manager.h +++ b/src/proof/proof_manager.h @@ -179,7 +179,7 @@ public: static ProofManager* currentPM(); // initialization - void initSatProof(Minisat::Solver* solver); + void initSatProof(Minisat::Solver* solver); void initCnfProof(CVC4::prop::CnfStream* cnfStream, context::Context* ctx); void initTheoryProofEngine(); |