From 9b11fed0c8583995c99a8d03c303a898369024e8 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 11 Dec 2018 17:51:51 +0100
Subject: [PATCH] Fixed warning

---
 src/storm-pars/settings/modules/RegionSettings.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm-pars/settings/modules/RegionSettings.cpp b/src/storm-pars/settings/modules/RegionSettings.cpp
index 689c5e460..e572560f7 100644
--- 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 {