From a21a0556ed3b245803cc3d8b27d21c42532cd661 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 8 Feb 2017 18:11:58 +0100
Subject: [PATCH] suppress warning during compilation

---
 .../storage/expressions/UnaryNumericalFunctionExpression.cpp     | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/storage/expressions/UnaryNumericalFunctionExpression.cpp b/src/storm/storage/expressions/UnaryNumericalFunctionExpression.cpp
index 9fdaa4d49..2382e1399 100644
--- a/src/storm/storage/expressions/UnaryNumericalFunctionExpression.cpp
+++ b/src/storm/storage/expressions/UnaryNumericalFunctionExpression.cpp
@@ -44,6 +44,7 @@ namespace storm {
                     case OperatorType::Ceil: return static_cast<int_fast64_t>(std::ceil(result)); break;
                     default:
                         STORM_LOG_ASSERT(false, "All other operator types should have been handled before.");
+                        return 0;// Warning suppression.
                 }
             }
         }