diff options
Diffstat (limited to 'src/proof/sat_proof.h')
| -rw-r--r-- | src/proof/sat_proof.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/proof/sat_proof.h b/src/proof/sat_proof.h index 4f9ba8e4a..4641ea4cc 100644 --- a/src/proof/sat_proof.h +++ b/src/proof/sat_proof.h @@ -190,7 +190,8 @@ public: * Constructs the empty clause resolution from the final conflict * * @param conflict - */void finalizeProof(::Minisat::CRef conflict); + */ + void finalizeProof(::Minisat::CRef conflict); /// clause registration methods ClauseId registerClause(const ::Minisat::CRef clause, bool isInput = false); |