From 7745830dd2236cdc576f4c4b9469241c27ae32ff Mon Sep 17 00:00:00 2001 From: Thomas Zobler Date: Mon, 1 Dec 2025 07:41:39 +0100 Subject: [PATCH] fix: Update src/misc/simulation/settings/simulatorsettings.h Co-authored-by: Lars Toenning --- src/misc/simulation/settings/simulatorsettings.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/misc/simulation/settings/simulatorsettings.h b/src/misc/simulation/settings/simulatorsettings.h index 9ef89a76a..0b38e267d 100644 --- a/src/misc/simulation/settings/simulatorsettings.h +++ b/src/misc/simulation/settings/simulatorsettings.h @@ -121,9 +121,9 @@ namespace swift::misc::simulation::settings bool setRecordedGndRadius(const swift::misc::physical_quantities::CLength &radius); //! Reads the settings for automatic loading when starting swiftgui - bool getPropertyWithDbEntry() { return m_withDbEntry; } - bool getPropertyModelSet() { return m_modelSet; } - bool getPropertyDistributorFiltered() { return m_distributorFiltered; } + bool getPropertyWithDbEntry() const { return m_withDbEntry; } + bool getPropertyModelSet() const { return m_modelSet; } + bool getPropertyDistributorFiltered() const { return m_distributorFiltered; } //! Reset the paths void resetPaths();