diff options
Diffstat (limited to 'Assignment2/src/DTMC.dcl')
| -rw-r--r-- | Assignment2/src/DTMC.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Assignment2/src/DTMC.dcl b/Assignment2/src/DTMC.dcl index a4cf524..5d948fb 100644 --- a/Assignment2/src/DTMC.dcl +++ b/Assignment2/src/DTMC.dcl @@ -16,3 +16,4 @@ from System.FilePath import :: FilePath } parseDTMC :: !FilePath !*World -> *(!*DTMC, !*World) +addVars :: *DTMC -> *DTMC |