Tiny syntax error fix

moves-rwth · Jun 25, 2024 · 59ced4a · 59ced4a
1 parent ee47890
commit 59ced4a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stormvogel/model.py b/stormvogel/model.py
@@ -103,7 +103,7 @@ def __str__(self):
 # How the user is allowed to specify a transition:
 # - using only the action and the target state (implies probability=1),
 # - using only the probability and the target state (implies default action when in an MDP),
-type TransitionShorthand = list[tuple[float, State]] | list[tuple[float, State]]
+TransitionShorthand = list[tuple[float, State]] | list[tuple[float, State]]
 
 
 def transition_from_shorthand(shorthand: TransitionShorthand) -> Transition: