diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-10-29 19:09:06 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-10-29 19:09:06 +0000 |
| commit | 64143d6aa74c9a9140b11fa021c254910bf495a0 (patch) | |
| tree | 772a1b95b22c5a28c4e5a954d585541a2eb20f92 /src/proof/sat_proof.h | |
| parent | 953c83494ae17f5d07d3f148ef69cbdb07eb747a (diff) | |
fix some doxygen warnings
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); |