From 697ae21b6f9e2993772ec4c16e2e83ddf2ad8dfd Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 25 Apr 2017 15:44:17 +0200
Subject: [PATCH] Suppress warning

---
 src/storm/storage/jani/JSONExporter.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/storage/jani/JSONExporter.cpp b/src/storm/storage/jani/JSONExporter.cpp
index bfddea091..65cab6fb1 100644
--- a/src/storm/storage/jani/JSONExporter.cpp
+++ b/src/storm/storage/jani/JSONExporter.cpp
@@ -525,6 +525,7 @@ namespace storm {
                 }
             }
             STORM_LOG_ASSERT(false, "Expression variable '" << expression.getVariableName() << "' not known in Jani data structures.");
+            return modernjson::json(); // should not reach this point.
         }
         boost::any ExpressionToJson::visit(storm::expressions::UnaryBooleanFunctionExpression const& expression, boost::any const& data) {
             modernjson::json opDecl;