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 9d1ec00..6c81510 100644 --- a/Assignment2/src/DTMC.icl +++ b/Assignment2/src/DTMC.icl @@ -210,7 +210,7 @@ where addVar :: Int Int (Maybe String) -> Maybe String addVar _ _ Nothing = Nothing - addVar f t (Just fn) = Just ("((" <+ fn <+ ") + " <+ f <+ "_" <+ t <+ ")") + addVar f t (Just fn) = Just ("((" <+ fn <+ ") + v" <+ f <+ "_" <+ t <+ ")") Start w # (dtmc,w) = parseDTMC "die.drn" w |