-
Erwan Jahier authored
I though polymorphism was removed by l2lRmPoly.ml, but well, it was easy. nb : #FAILS=131->128
Erwan Jahier authoredI though polymorphism was removed by l2lRmPoly.ml, but well, it was easy. nb : #FAILS=131->128
consensus2.lus 190 B