diff options
Diffstat (limited to 'src/expr/lazy_proof_chain.h')
| -rw-r--r-- | src/expr/lazy_proof_chain.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/lazy_proof_chain.h b/src/expr/lazy_proof_chain.h index fa965f8bb..1abb3f84e 100644 --- a/src/expr/lazy_proof_chain.h +++ b/src/expr/lazy_proof_chain.h @@ -144,7 +144,7 @@ class LazyCDProofChain : public ProofGenerator /** A dummy context used by this class if none is provided */ context::Context d_context; /** Maps facts that can be proven to generators */ - context::CDHashMap<Node, ProofGenerator*, NodeHashFunction> d_gens; + context::CDHashMap<Node, ProofGenerator*> d_gens; /** The default proof generator (if one exists) */ ProofGenerator* d_defGen; }; |