diff options
Diffstat (limited to 'src/expr/term_conversion_proof_generator.h')
-rw-r--r-- | src/expr/term_conversion_proof_generator.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/term_conversion_proof_generator.h b/src/expr/term_conversion_proof_generator.h index e546d23bd..70e606db4 100644 --- a/src/expr/term_conversion_proof_generator.h +++ b/src/expr/term_conversion_proof_generator.h @@ -200,7 +200,7 @@ class TConvProofGenerator : public ProofGenerator std::shared_ptr<ProofNode> getProofForRewriting(Node n); protected: - typedef context::CDHashMap<Node, Node, NodeHashFunction> NodeNodeMap; + typedef context::CDHashMap<Node, Node> NodeNodeMap; /** A dummy context used by this class if none is provided */ context::Context d_context; /** The (lazy) context dependent proof object. */ |