diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-10-02 22:48:00 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-02 22:48:00 -0700 |
commit | d0faa2b676130119c5d01e00851427fa97f44464 (patch) | |
tree | 76e25b4558e6752d75230c7ac297af97f870ea24 /contrib | |
parent | 6861f66d2e2b54fc31d9151b4dbeb2964ea07f94 (diff) |
Unify hash functions for pairs (#1161)
CVC4 was implementing multiple, slightly different hash functions for
pairs. With pull request #1157, we have a decent generic hash function
for pairs. This commit replaces the existing hash function
implementations with a typedef of the generic hash function.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions