From 9383f0945a2c3addafb8c021b573cd0283670715 Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Tue, 14 Apr 2026 19:39:28 +0200 Subject: [PATCH] Fixed Windows builds --- src/db/db/dbDeepRegion.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/db/db/dbDeepRegion.cc b/src/db/db/dbDeepRegion.cc index 716a9e6c4..43eac39bf 100644 --- a/src/db/db/dbDeepRegion.cc +++ b/src/db/db/dbDeepRegion.cc @@ -883,9 +883,9 @@ DeepRegion::nets (LayoutToNetlist *l2n, NetPropertyMode prop_mode, const tl::Var namespace { /** - * @brief Implements a boolean AND or NOT operation with property handling + * @brief Implements a boolean, top-down NOT operation with property handling for the "peel" feature */ -class DB_PUBLIC PushHierLocalOperationWithProperties +class PushHierLocalOperationWithProperties : public local_operation, db::object_with_properties, db::object_with_properties > { public: