Fix new_dtmc

moves-rwth · Jun 25, 2024 · ee47890 · ee47890
1 parent 370db79
commit ee47890
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stormvogel/model.py b/stormvogel/model.py
@@ -309,7 +309,7 @@ def __str__(self) -> str:
 
 def new_dtmc(name: str | None = None):
     """Creates a DTMC."""
-    return Model(name, ModelType.MDP)
+    return Model(name, ModelType.DTMC)
 
 
 def new_mdp(name: str | None = None):