X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2Fspecs%2Ffreeciv%2Ftest.constraints;h=edd80391968be418fa59e12485f898eeabaf898f;hp=9899a73828b0e50bc742857e21aafcd11f37b3b7;hb=d79d4d2b198964d340ebf4f77ce062eacee42478;hpb=2ce3c9cd77aa9560e60e4786bc89ffa2a3027ac5

diff --git a/Repair/RepairCompiler/MCC/specs/freeciv/test.constraints b/Repair/RepairCompiler/MCC/specs/freeciv/test.constraints
index 9899a73..edd8039 100755
--- 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;
-[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;