Bug in the freeciv spec.

[repair.git] / Repair / RepairCompiler / MCC / specs / freeciv / test.constraints

diff --git a/Repair/RepairCompiler/MCC/specs/freeciv/test.constraints b/Repair/RepairCompiler/MCC/specs/freeciv/test.constraints
index edd80391968be418fa59e12485f898eeabaf898f..e1ea1e99f193eca8acab3ecf765fe03555a0b080 100755 (executable)
--- a/Repair/RepairCompiler/MCC/specs/freeciv/test.constraints
+++ b/Repair/RepairCompiler/MCC/specs/freeciv/test.constraints
@@ -1,5 +1,5 @@
 [],sizeof(MAP)=1;
 [],sizeof(GRID)=1;
 [],sizeof(MAP)=1;
 [],sizeof(GRID)=1;

-[forall t in TILE],t.TERRAIN>=0 and t.TERRAIN<=12;
+[forall t in TILE],t.TERRAIN>=0 and t.TERRAIN<=11;

 [forall c in CITY],sizeof(c.~CITYMAP)=1;
 [forall c in CITY],!c.~CITYMAP.TERRAIN=7;
 [forall c in CITY],sizeof(c.~CITYMAP)=1;
 [forall c in CITY],!c.~CITYMAP.TERRAIN=7;