diff options
-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 |