diff options
Diffstat (limited to 'DSL/Types.hs')
| -rw-r--r-- | DSL/Types.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/DSL/Types.hs b/DSL/Types.hs index 7467bfd..aa1fb22 100644 --- a/DSL/Types.hs +++ b/DSL/Types.hs @@ -69,8 +69,6 @@ type ProcSpec = (ProcName, [Block]) type ProcTable = Map ProcName [Block] -type Program = [Block] - data Machine = Machine { ok :: Bool , stack :: Stack , pTable :: ProcTable |