fix checkNegativeLabels

fmidue · Dec 23, 2024 · 6e079b0 · 6e079b0
1 parent d38e57e
commit 6e079b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Modelling/StateDiagram/Checkers/Representation.hs b/src/Modelling/StateDiagram/Checkers/Representation.hs
@@ -85,4 +85,4 @@ checkStartToRegion _ = True
 checkNegativeLabels :: StateDiagram n Int [Connection Int] -> Bool
 checkNegativeLabels StateDiagram{label,substates} = label >= 0 && all checkNegativeLabels substates
 checkNegativeLabels CombineDiagram{label,substates} = label >= 0 && all checkNegativeLabels substates
-checkNegativeLabels sd = label sd >= 0 && all checkNegativeLabels (substates sd)
+checkNegativeLabels sd = label sd >= 0