diff options
Diffstat (limited to 'src/proof/sat_proof.h')
-rw-r--r-- | src/proof/sat_proof.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/sat_proof.h b/src/proof/sat_proof.h index 051266df8..1e6badc98 100644 --- a/src/proof/sat_proof.h +++ b/src/proof/sat_proof.h @@ -171,7 +171,7 @@ public: void addResolutionStep(::Minisat::Lit lit, ::Minisat::CRef clause, bool sign); /** * Pops the current resolution of the stack and stores it - * in the resolution map. Also registers the @param clause. + * in the resolution map. Also registers the 'clause' parameter * @param clause the clause the resolution is proving */ void endResChain(::Minisat::CRef clause); |