From 7528e86d67dcf3e134bb5df597a15f33c154c223 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Fri, 11 Nov 2016 20:50:13 +0100
Subject: [PATCH] switch case: added default to suppress warning in gcc6

Former-commit-id: 0907c5b200071060c6b514bc095e1fd563848106 [formerly 8bca6a7a6e5d8ed56dff61ed3e0e29bfad07080e]
Former-commit-id: 273d6e3b06b4dd265720ea9698a67f74c322f68f
---
 src/storage/jani/JSONExporter.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/storage/jani/JSONExporter.cpp b/src/storage/jani/JSONExporter.cpp
index a460350f4..967922622 100644
--- a/src/storage/jani/JSONExporter.cpp
+++ b/src/storage/jani/JSONExporter.cpp
@@ -103,6 +103,8 @@ namespace storm {
                     return ">";
                 case storm::logic::ComparisonType::GreaterEqual:
                     return "≥";
+                default:
+                    assert(false);
             }
         }
         
@@ -724,6 +726,8 @@ namespace storm {
                     return "argmax";
                 case storm::modelchecker::FilterType::VALUES:
                     return "values";
+                default:
+                    assert(false);
                     
             }
         }