From ecaa549995eef8bdac0365b7e7bac790ffcf435c Mon Sep 17 00:00:00 2001 From: sdirollo Date: Mon, 29 Jan 2024 15:51:06 +0100 Subject: [PATCH] keep additional place if node place has same name than parent country name (e.g Gibraltar or Vatican city) --- src/additional_zones.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/additional_zones.rs b/src/additional_zones.rs index 3b115d9..ade758b 100644 --- a/src/additional_zones.rs +++ b/src/additional_zones.rs @@ -67,7 +67,7 @@ pub fn compute_additional_places( // duplicates, for example by adding an admin label which is inside its // boundary. parent_zone >= place.zone_type.unwrap_or(parent_zone) - && parent_zone < ZoneType::Country + && (parent_zone < ZoneType::Country || parent.name == place.name) }) .unwrap_or(false) })