Adding garbage collection for Proof objects. (#1294)

[cvc5.git] / src / proof / arith_proof.h

diff --git a/src/proof/arith_proof.h b/src/proof/arith_proof.h
index b36909f785dc93d9d123c76269fc48ffe34a8bfe..0a44f45c0e4b732c707a98b5dfa808dfeea037a1 100644 (file)
--- a/src/proof/arith_proof.h
+++ b/src/proof/arith_proof.h
@@ -33,7 +33,8 @@ namespace CVC4 {
 class ProofArith : public Proof {
  public:
   ProofArith(std::shared_ptr<theory::eq::EqProof> pf) : d_proof(pf) {}
-  void toStream(std::ostream& out) override;
+  void toStream(std::ostream& out) const override;
+
  private:
   static void toStreamLFSC(std::ostream& out, TheoryProof* tp,
                            const theory::eq::EqProof& pf,