diff options
| author | krasimir <krasimir@chalmers.se> | 2010-09-17 16:20:47 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-09-17 16:20:47 +0000 |
| commit | e1ed8277a9941e58996842d22c59d7648fe4b21c (patch) | |
| tree | f5316298f0dae4b96a90b5c2e873c3fcb4d67f8f /examples/SUMO/MondialEng.gf | |
| parent | d2a17f02d75ce333170c25bca48c9976d777e344 (diff) | |
fix the compilation of CountriesAndRegionsEng.gf
Diffstat (limited to 'examples/SUMO/MondialEng.gf')
| -rw-r--r-- | examples/SUMO/MondialEng.gf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/examples/SUMO/MondialEng.gf b/examples/SUMO/MondialEng.gf index a9c91d850..c1658515a 100644 --- a/examples/SUMO/MondialEng.gf +++ b/examples/SUMO/MondialEng.gf @@ -5553,4 +5553,10 @@ lin Countries_VN_cities_ThaiNguyen = UsePN (mkPN "Thai Nguyen") ;
Countries_ZRE_provinces_BasZaire = UsePN (mkPN "Bas Zaire") ;
Countries_UA_provinces_Poltavska = UsePN (mkPN "Poltavska") ;
+ SaintKittsAndNevis = UsePN (mkPN "Saint Kitts and Nevis") ;
+ SaintVincentAndTheGrenadines = UsePN (mkPN "Saint Vincent and the Grenadines") ;
+ SaoTomeAndPrincipe = UsePN (mkPN "Sao Tome and Principe") ;
+ SerbiaAndMontenegro = UsePN (mkPN "Serbia and Montenegro") ;
+ TrinidadAndTobago = UsePN (mkPN "Trinidad and Tobago") ;
+
}
|