From 86bcfadb774618defaa27bbb9361a93d288fb985 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 12 Jul 2021 22:51:25 -0400
Subject: A bit more clarity for Licentia licenses.

---
 stdlib/source/program/aedifex/command/auto.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/program/aedifex/command/auto.lux')

diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux
index 398fb26cf..ee2ab4bbd 100644
--- a/stdlib/source/program/aedifex/command/auto.lux
+++ b/stdlib/source/program/aedifex/command/auto.lux
@@ -12,7 +12,7 @@
      ["." set]]]
    [world
     [program (#+ Program)]
-    [shell (#+ Shell)]
+    [shell (#+ Exit Shell)]
     [console (#+ Console)]
     ["." file
      ["." watch (#+ Watcher)]]]]
@@ -45,8 +45,8 @@
 (def: #export (do! delay watcher command)
   (All [a]
     (-> Nat (Watcher Promise)
-        (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command a))
-        (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command Any))))
+        (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command [Exit a]))
+        (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command [Exit Any]))))
   (function (_ console program fs shell resolution)
     (function (_ profile)
       (with_expansions [<call> ((command console program fs shell resolution) profile)]
-- 
cgit v1.2.3