Fix regeneration of multi-file dependencies

[hcoop/domtool2.git] / src / main-client.sml

diff --git a/src/main-client.sml b/src/main-client.sml
index 8d5f012..ef083b4 100644 (file)
--- a/src/main-client.sml
+++ b/src/main-client.sml
@@ -33,7 +33,7 @@ fun domtoolRoot () =
 
 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,