diff options
Diffstat (limited to 'src/proof/method_id.h')
| -rw-r--r-- | src/proof/method_id.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/proof/method_id.h b/src/proof/method_id.h index b353232f4..fe7a9a90d 100644 --- a/src/proof/method_id.h +++ b/src/proof/method_id.h @@ -49,7 +49,8 @@ enum class MethodId : uint32_t RW_IDENTITY, // theory preRewrite, note this is only intended to be used as an argument // to THEORY_REWRITE in the final proof. It is not implemented in - // applyRewrite below, see documentation in proof_rule.h for THEORY_REWRITE. + // Rewriter::rewriteViaMethod, see documentation in proof_rule.h for + // THEORY_REWRITE. RW_REWRITE_THEORY_PRE, // same as above, for theory postRewrite RW_REWRITE_THEORY_POST, |