engine: changed order in enumeration for consistency

4 years ago · 6473645802
1 changed files with 1 additions and 1 deletions
--- a/src/storm/utility/Engine.cpp
+++ b/src/storm/utility/Engine.cpp
@ -179,10 +179,10 @@ namespace storm {
                            return storm::modelchecker::SparseDtmcPrctlModelChecker<storm::models::sparse::Dtmc<storm::RationalFunction>>::canHandleStatic(checkTask);
                        case ModelType::CTMC:
                            return storm::modelchecker::SparseCtmcCslModelChecker<storm::models::sparse::Ctmc<storm::RationalFunction>>::canHandleStatic(checkTask);
-                        case ModelType::SMG:
                        case ModelType::MDP:
                        case ModelType::MA:
                        case ModelType::POMDP:
+                        case ModelType::SMG:
                            return false;
                    }
                    break;