From 6b4e3b6e2a3daebb3184eb3db4446bfebb460563 Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Thu, 20 Aug 2026 09:39:24 +0200 Subject: [PATCH] Fixing issue #2423 (local merge has to capture touching shapes) --- src/db/db/dbRegionLocalOperations.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/db/db/dbRegionLocalOperations.cc b/src/db/db/dbRegionLocalOperations.cc index 82c17c80e..1a2df425c 100644 --- a/src/db/db/dbRegionLocalOperations.cc +++ b/src/db/db/dbRegionLocalOperations.cc @@ -888,10 +888,10 @@ std::map check_local_operation::override_distance () const { // makes sure, the "foreign"-type pseudo-intruder used for merging only - // does not use the full search range, but only "touching". + // does not use the full search range, but only "touching" (distance 1). std::map od; if (check_local_operation_base::m_has_other) { - od.insert (std::make_pair (1, 0)); + od.insert (std::make_pair (1, 1)); } return od; }