diff options
Diffstat (limited to 'src/expr/proof_checker.cpp')
-rw-r--r-- | src/expr/proof_checker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/proof_checker.cpp b/src/expr/proof_checker.cpp index f4c275c47..95e43620b 100644 --- a/src/expr/proof_checker.cpp +++ b/src/expr/proof_checker.cpp @@ -18,7 +18,7 @@ namespace CVC4 { Node ProofChecker::check(ProofNode* pn, Node expected) { - return check(pn->getId(), pn->getChildren(), pn->getArguments(), expected); + return check(pn->getRule(), pn->getChildren(), pn->getArguments(), expected); } Node ProofChecker::check( |