Fix bescherelle tests broken (True/False order)

This commit is contained in:
gregoire.detrez committed 2013-12-03 14:29:36 +00:00
1 parent 2f5ba54373
commit 3294f2b1c5
81 files changed
+81 -81

No files matched your search

+1 -1
View File
@@ -1,5 +1,5 @@
s . CommonRomance.VInfin Prelude.True => devoir
s . CommonRomance.VInfin Prelude.False => devoir
s . CommonRomance.VInfin Prelude.True => devoir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => dois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => dois
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => doit