From 905aeb9904568a0949886c94edbd7ab82c41b69e Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 17 Sep 2010 18:32:34 +0000
Subject: [PATCH] fix typo: the linearization of Iraq was Iran

---
 examples/SUMO/CountriesAndRegionsEng.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/SUMO/CountriesAndRegionsEng.gf b/examples/SUMO/CountriesAndRegionsEng.gf
index 89c366300..28bc94534 100644
--- a/examples/SUMO/CountriesAndRegionsEng.gf
+++ b/examples/SUMO/CountriesAndRegionsEng.gf
@@ -651,7 +651,7 @@ lin
   Cyprus = UsePN (mkPN "Cyprus") ;
   GazaStrip = UsePN (mkPN "Gaza Strip") ;
   Iran = UsePN (mkPN "Iran") ;
-  Iraq = UsePN (mkPN "Iran") ;
+  Iraq = UsePN (mkPN "Iraq") ;
   Israel = UsePN (mkPN "Israel") ;
   Jordan = UsePN (mkPN "Jordan") ;
   Kuwait = UsePN (mkPN "Kuwait") ;