commit | d80d8a4b9c85df7a0afdc5baa5642ad272cb00a4 | [log] [tgz] |
---|---|---|
author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Wed May 05 15:58:41 2021 +0100 |
committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Wed May 05 15:58:41 2021 +0100 |
tree | d3d231fca355d0c543710a15d89fe574181ba4f0 | |
parent | f8335f022ef5b9f86a1dcc3a21129f21a42a9aa3 [diff] |
Removed PatternMatch.hashCode() as it was causing false duplicates in PatternMatchModel.matches