Bugs with generating ands and ors...ahh.
[repair.git] / Repair / RepairCompiler / MCC / specs / freeciv / test.constraints
index 9899a73..edd8039 100755 (executable)
@@ -1,5 +1,5 @@
 [],sizeof(MAP)=1;
 [],sizeof(GRID)=1;
-[forall t in TILE],t.TERRAIN>=0 and t.TERRAIN<=13;
+[forall t in TILE],t.TERRAIN>=0 and t.TERRAIN<=12;
 [forall c in CITY],sizeof(c.~CITYMAP)=1;
 [forall c in CITY],!c.~CITYMAP.TERRAIN=7;