sort generating system before printingmaster
commit1145fc2f0ebd7777eee69b18fc700502b9210a8e
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 21 Jun 2008 15:30:56 +0000 (21 17:30 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 23 Jun 2008 16:43:23 +0000 (23 18:43 +0200)
treecff001b8dcfad513826d07168515245e3ffb07af
parent0502ac116e5a1675be5c9365e79dce94ad5d2aef
sort generating system before printing

We don't want the tests to depend on the ordering inside PolyLib
(or any other tool).
Formel/gen_syst.ml
Test/enum.result
Test/omega.result
Test/omega2.result
Test/omega3.result
Test/rextest.result
Test/test_gen_syst.result