-
Andrei Paskevich authored
Also, comment out a seemingly useless invariant in examples/topological_sorting.mlw detected by the new check.
54f17867
Also, comment out a seemingly useless invariant in examples/topological_sorting.mlw detected by the new check.