Merge pull request #7450 from staabm/simpler-hash
Use a simpler hashing for the Rule2Literal casemain
commit
68d468d683
Loading…
Reference in New Issue
Use a simpler hashing for the Rule2Literal casemain