diff options
Diffstat (limited to 'src/smt/smt_engine.h')
| -rw-r--r-- | src/smt/smt_engine.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index 8961fbee0..18fc39857 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -524,8 +524,11 @@ public: * Get the last proof (only if immediately preceded by an UNSAT * or VALID query). Only permitted if CVC4 was built with proof * support and produce-proofs is on. + * + * The Proof object is owned by this SmtEngine until the SmtEngine is + * destroyed. */ - Proof* getProof(); + const Proof& getProof(); /** * Print all instantiations made by the quantifiers module. |