Fixed warning

6 years ago · 9b11fed0c8
1 changed files with 2 additions and 0 deletions
--- a/src/storm-pars/settings/modules/RegionSettings.cpp
+++ b/src/storm-pars/settings/modules/RegionSettings.cpp
@ -137,7 +137,9 @@ namespace storm {
            bool RegionSettings::check() const {
                if (isRefineSet() && isExtremumSet()) {
                    STORM_LOG_ERROR("Can not compute extremum values AND perform region refinement.");
+                    return false;
                }
+                return true;
            }

            bool RegionSettings::isPrintNoIllustrationSet() const {