fixed incorrect return value of isDeterministicModel

8 years ago · 8e26ceda5c
1 changed files with 1 additions and 1 deletions
--- a/src/storm/storage/jani/ModelType.cpp
+++ b/src/storm/storage/jani/ModelType.cpp
@ -80,7 +80,7 @@ namespace storm {
        }
        
        bool isDeterministicModel(ModelType const& modelType) {
-            if (modelType == ModelType::DTMC && modelType == ModelType::DTMC) {
+            if (modelType == ModelType::DTMC || modelType == ModelType::CTMC) {
                return true;
            }
            return false;