From 97838515b4f03af99559df6345a65ab03978a787 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 23 Nov 2020 14:24:48 +0100
Subject: [PATCH] switch cases in engine now feature SMG case

---
 src/storm/utility/Engine.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/utility/Engine.cpp b/src/storm/utility/Engine.cpp
index 19554875c..780afd6f0 100644
--- a/src/storm/utility/Engine.cpp
+++ b/src/storm/utility/Engine.cpp
@@ -124,6 +124,7 @@ namespace storm {
                         case ModelType::MA:
                             return storm::modelchecker::SparseMarkovAutomatonCslModelChecker<storm::models::sparse::MarkovAutomaton<ValueType>>::canHandleStatic(checkTask);
                         case ModelType::POMDP:
+                        case ModelType::SMG:
                             return false;
                         case ModelType::SMG:
                             return storm::modelchecker::SparseSmgRpatlModelChecker<storm::models::sparse::Smg<ValueType>>::canHandleStatic(checkTask);