From 03b634d14ae9adc7a414973023cafdbe68cc4e73 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 1 Feb 2017 13:45:10 +0100
Subject: [PATCH] suppress silly warning about no return after error

---
 src/storm/parser/JaniParser.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm/parser/JaniParser.cpp b/src/storm/parser/JaniParser.cpp
index 517c663ce..efe033d08 100644
--- a/src/storm/parser/JaniParser.cpp
+++ b/src/storm/parser/JaniParser.cpp
@@ -939,6 +939,8 @@ namespace storm {
                 STORM_LOG_THROW(false, storm::exceptions::InvalidJaniException, "No supported operator declaration found for complex expressions as " << expressionStructure.dump() << " in  " << scopeDescription << ".");
             }
             assert(false);
+            // Silly warning suppression.
+            return storm::expressions::Expression();
 
         }