From 9f92c4eaa4342b817ad7fbc0012b2fb81073e2e8 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@klayout.de>
Date: Sat, 21 Feb 2026 23:27:33 +0100
Subject: [PATCH] [consider merging] Bugfix: 'oasis_read_all_options' as always
 on in buddy tools.

---
 src/plugins/streamers/oasis/db_plugin/gsiDeclDbOASIS.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/streamers/oasis/db_plugin/gsiDeclDbOASIS.cc b/src/plugins/streamers/oasis/db_plugin/gsiDeclDbOASIS.cc
index efa503565..90fd665de 100644
--- a/src/plugins/streamers/oasis/db_plugin/gsiDeclDbOASIS.cc
+++ b/src/plugins/streamers/oasis/db_plugin/gsiDeclDbOASIS.cc
@@ -38,7 +38,7 @@ static void set_oasis_read_all_properties (db::LoadLayoutOptions *options, bool
   options->get_options<db::OASISReaderOptions> ().read_all_properties = f;
 }
 
-static int get_oasis_read_all_properties (const db::LoadLayoutOptions *options)
+static bool get_oasis_read_all_properties (const db::LoadLayoutOptions *options)
 {
   return options->get_options<db::OASISReaderOptions> ().read_all_properties;
 }