diff options
Diffstat (limited to 'src/expr/proof.h')
-rw-r--r-- | src/expr/proof.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/expr/proof.h b/src/expr/proof.h index 25ab1fd23..496815938 100644 --- a/src/expr/proof.h +++ b/src/expr/proof.h @@ -246,8 +246,7 @@ class CDProof : public ProofGenerator std::string identify() const override; protected: - typedef context::CDHashMap<Node, std::shared_ptr<ProofNode>, NodeHashFunction> - NodeProofNodeMap; + typedef context::CDHashMap<Node, std::shared_ptr<ProofNode>> NodeProofNodeMap; /** The proof manager, used for allocating new ProofNode objects */ ProofNodeManager* d_manager; /** A dummy context used by this class if none is provided */ |