diff options
Diffstat (limited to 'src/expr/tconv_seq_proof_generator.h')
| -rw-r--r-- | src/expr/tconv_seq_proof_generator.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/tconv_seq_proof_generator.h b/src/expr/tconv_seq_proof_generator.h index ba8c438b2..bc067f60a 100644 --- a/src/expr/tconv_seq_proof_generator.h +++ b/src/expr/tconv_seq_proof_generator.h @@ -102,7 +102,7 @@ class TConvSeqProofGenerator : public ProofGenerator protected: using NodeIndexPairHashFunction = - PairHashFunction<Node, size_t, NodeHashFunction>; + PairHashFunction<Node, size_t, std::hash<Node>>; typedef context:: CDHashMap<std::pair<Node, size_t>, Node, NodeIndexPairHashFunction> NodeIndexNodeMap; |