From e287b1ee7b638ecd4e66ed9c1794c86440325074 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 17 Aug 2004 17:54:26 +0000
Subject: [PATCH] Bug in the freeciv spec.

---
 Repair/RepairCompiler/MCC/specs/freeciv/test.constraints | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Repair/RepairCompiler/MCC/specs/freeciv/test.constraints b/Repair/RepairCompiler/MCC/specs/freeciv/test.constraints
index edd8039..e1ea1e9 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<=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;
-- 
2.34.1