Skip to content

Make TmOracle reduce nullary constructor equalities

Sebastian Graf requested to merge wip/pmcheck-eqs into master

I recognised this some weeks ago, but didn't know if this was intended. Now that it bit me in #13363 (comment 199399), I'm pretty sure this wasn't intended.

Merge request reports