diff options
| author | Camil Staps | 2018-07-05 22:06:38 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-05 22:06:38 +0200 |
| commit | 77534b72bb116bc10e97e5773211bc4259d79cbc (patch) | |
| tree | 100c521d9e4a73fe7ec67750dca7095edc2deb97 /Assignment2 | |
| parent | Continue introduction (diff) | |
| parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking (diff) | |
Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking
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 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 |