diff options
Diffstat (limited to 'src/proof/proof_node.h')
| -rw-r--r-- | src/proof/proof_node.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/proof/proof_node.h b/src/proof/proof_node.h index db82cc63d..f4552ae43 100644 --- a/src/proof/proof_node.h +++ b/src/proof/proof_node.h @@ -123,6 +123,8 @@ class ProofNode std::vector<Node> d_args; /** The cache of the fact that has been proven, modifiable by ProofChecker */ Node d_proven; + /** Was d_proven actually checked, or is it trusted? */ + bool d_provenChecked; }; inline size_t ProofNodeHashFunction::operator()( |