X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/7cf605360d59466490c6fb257ea3785c8b426954..b21491def4a9ec982a4de1525e9bc8f43c9da920:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index feaab16..9bc87cd 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -33,7 +33,8 @@ fun check' G fname =
 	if !ErrorMsg.anyErrors then
 	    G
 	else
-	    Tycheck.checkFile G (Defaults.tInit ()) prog
+	    (Option.app (Unused.check G) (#3 prog);
+	     Tycheck.checkFile G (Defaults.tInit ()) prog)
     end
 
 fun basis () =
@@ -87,7 +88,8 @@ fun check fname =
 			if !ErrorMsg.anyErrors then
 			    raise ErrorMsg.Error
 			else
-			    (G', #3 prog)
+			    (Option.app (Unused.check b) (#3 prog);
+			     (G', #3 prog))
 		    end
 	    end
     end