diff options
Diffstat (limited to 'src/smt/preprocess_proof_generator.h')
-rw-r--r-- | src/smt/preprocess_proof_generator.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/smt/preprocess_proof_generator.h b/src/smt/preprocess_proof_generator.h index d1373a9d3..140a7c91a 100644 --- a/src/smt/preprocess_proof_generator.h +++ b/src/smt/preprocess_proof_generator.h @@ -55,8 +55,7 @@ namespace smt { */ class PreprocessProofGenerator : public ProofGenerator { - typedef context::CDHashMap<Node, theory::TrustNode, NodeHashFunction> - NodeTrustNodeMap; + typedef context::CDHashMap<Node, theory::TrustNode> NodeTrustNodeMap; public: /** |