diff --git a/shell/shell.sml b/shell/shell.sml index 17607d7..d996614 100644 --- a/shell/shell.sml +++ b/shell/shell.sml @@ -79,4 +79,4 @@ struct end end -val _ = RunCML.doit (Shell.main, NONE) +val _ = RunCML.doit (Shell.main, SOME (Time.fromMicroseconds 555))