diff options
| author | Erin van der Veen | 2018-07-05 19:57:07 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-07-05 19:57:07 +0200 |
| commit | 82912f086863dcd90447e76da5379cf6c027e831 (patch) | |
| tree | a20125694b403fa42874950a4b8a7b653b9026f8 /Assignment2 | |
| parent | Uniqueness :( (diff) | |
Whoops
Diffstat (limited to 'Assignment2')
| -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 |