diff options
Diffstat (limited to 'Assignment2/src/DTMC.icl')
| -rw-r--r-- | Assignment2/src/DTMC.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assignment2/src/DTMC.icl b/Assignment2/src/DTMC.icl index 3abb0ac..9f1e938 100644 --- a/Assignment2/src/DTMC.icl +++ b/Assignment2/src/DTMC.icl @@ -178,7 +178,7 @@ where # (s, ss) = ss![fi] = case s of Nothing -> ss - (Just s) -> addVarsT fi (ti + 1) m {ss & [fi] = Just {s & transitions = alter (addVar fi ti) fi s.transitions}} + (Just s) -> addVarsT fi (ti + 1) m {ss & [fi] = Just {s & transitions = alter (addVar fi ti) ti s.transitions}} addVar :: Int Int (Maybe String) -> Maybe String addVar _ _ Nothing = Nothing |