diff options
| author | krasimir <krasimir@chalmers.se> | 2010-09-17 18:32:34 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-09-17 18:32:34 +0000 |
| commit | 905aeb9904568a0949886c94edbd7ab82c41b69e (patch) | |
| tree | 54d2e21b326bd3fe34b90f3922ab0290b33fae77 | |
| parent | e30f2212b9c077fa78f1414bf30337cdddc0d462 (diff) | |
fix typo: the linearization of Iraq was Iran
| -rw-r--r-- | examples/SUMO/CountriesAndRegionsEng.gf | 2 |
1 files changed, 1 insertions, 1 deletions
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") ;
|