From 3fbcfbfd5aba82cb86142b1ce4fd3b37c246ebd2 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@klayout.de>
Date: Sun, 14 Jul 2024 20:39:49 +0200
Subject: [PATCH] WIP

---
 src/db/db/dbNetlistDeviceExtractor.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/db/db/dbNetlistDeviceExtractor.cc b/src/db/db/dbNetlistDeviceExtractor.cc
index 13585fae6..3d5f0c5c9 100644
--- a/src/db/db/dbNetlistDeviceExtractor.cc
+++ b/src/db/db/dbNetlistDeviceExtractor.cc
@@ -292,6 +292,7 @@ void NetlistDeviceExtractor::pre_extract_for_device_propagation (const db::hier_
         if (ec == extractor_cache.end ()) {
 
           m_log_entries.clear ();
+          m_new_devices_pre_extracted.clear ();  //  safety
 
           //  do the actual device extraction
           extract_devices (layer_geometry);