changed back the stormpydtmc example

moves-rwth · Nov 3, 2024 · 9949a82 · 9949a82
1 parent 1468e37
commit 9949a82
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/stormpy_dtmc.py b/examples/stormpy_dtmc.py
@@ -44,7 +44,7 @@ def example_building_dtmcs_01():
         state_labeling.add_label(label)
 
     # Set label of state 0
-    state_labeling.add_label_to_state("init", 1)
+    state_labeling.add_label_to_state("init", 0)
     # print(state_labeling.get_states("init"))
 
     # Set remaining labels