Commit 44999948 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢

wta: Fix off-by-one error

parent 80d78438
...@@ -114,7 +114,7 @@ genTransitions' numTransitions = do ...@@ -114,7 +114,7 @@ genTransitions' numTransitions = do
-- FIXME Handle this case better. A nicer error output or something along this -- FIXME Handle this case better. A nicer error output or something along this
-- line. -- line.
when (fromIntegral numTransitions >= m) $ do when (fromIntegral numTransitions > m) $ do
error $ "genTransitions: More transitions than possible requested" error $ "genTransitions: More transitions than possible requested"
transitions <- lift $ map (IndexedTransition.fromIndex wtaSpec) <$> uniqueTransitions numTransitions m transitions <- lift $ map (IndexedTransition.fromIndex wtaSpec) <$> uniqueTransitions numTransitions m
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment