diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-05-19 11:00:19 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-05-19 11:00:19 -0700 |
| commit | 57573c103e5931c892dee02cc8f1a6d40426d936 (patch) | |
| tree | 129a872763fb6ab32b10d8dea654f0826279f3b5 | |
| parent | eac0d395ee6a8e6a6aff649a0966e0c698a91537 (diff) | |
MinorstringsPfRewriterPR
| -rw-r--r-- | src/theory/builtin/proof_checker.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/builtin/proof_checker.h b/src/theory/builtin/proof_checker.h index 0fba56924..c8241200d 100644 --- a/src/theory/builtin/proof_checker.h +++ b/src/theory/builtin/proof_checker.h @@ -78,7 +78,7 @@ class BuiltinProofRuleChecker : public ProofRuleChecker * post-rewrite). This encapsulates the exact behavior of a THEORY_REWRITE * step in a proof. Rewriting is performed on the Skolem form of n. * - * @param n The node (in skolem form) to rewrite + * @param n The node (in witness form) to rewrite * @param preRewrite If true, performs a pre-rewrite or a post-rewrite * otherwise * @return The rewritten form of n |