Commit before simplifying terminal commands

2022-06-07 11:40:59 +01:00
parent 19852119ab
commit 3c2f0cb824
2 changed files with 6 additions and 2 deletions
@@ -48,6 +48,9 @@ putTerminal'' mc tm mcf = ps0PushPS (PutTerminal tm)
        btid = fromJust (_plMID btpl)
        mcid = fromJust (_plMID mcpl)

+mcKillLinked :: Machine -> World -> World
+mcKillLinked mc = mcKillTerm mc
+
 mcKillTerm :: Machine -> World -> World
 mcKillTerm mc w = fromMaybe w $ do
    tmid <- _mcTermMID mc