diff options
Diffstat (limited to 'src/expr/proof_node.h')
| -rw-r--r-- | src/expr/proof_node.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/proof_node.h b/src/expr/proof_node.h index 08d2a0245..f8d71f703 100644 --- a/src/expr/proof_node.h +++ b/src/expr/proof_node.h @@ -80,8 +80,8 @@ struct ProofNodeHashFunction * An external proof checker is expected to formalize the ProofNode only in * terms of *witness* forms. * - * However, the rest of CVC4 sees only the *Skolem* form of arguments and - * conclusions in ProofNode, since this is what is used throughout CVC4. + * However, the rest of cvc5 sees only the *Skolem* form of arguments and + * conclusions in ProofNode, since this is what is used throughout cvc5. */ class ProofNode { |