val (doit, doitDir, args) =
case CommandLine.arguments () of
- "-tc" :: args => (fn fname => (Main.setupUser (); ignore (Main.check fname)),
+ "-tc" :: args => (fn fname => (Main.setupUser (); ignore (Main.check (Main.basis ()) fname)),
Main.checkDir,
args)
| args => (Main.request,