X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/24248d627b677abd0a21092f71c445b0934f2bdc..e9256fdc19decc6158d7c781828395e3b512216c:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index a0f402d..b2f59b5 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -46,7 +46,10 @@ fun check' G fname =
 	if !ErrorMsg.anyErrors then
 	    G
 	else
-	    (Option.app (Unused.check G) (#3 prog);
+	    (if isLib fname then
+		 ()
+	     else
+		 Option.app (Unused.check G) (#3 prog);
 	     Tycheck.checkFile G (Defaults.tInit prog) prog)
     end
 
@@ -102,7 +105,10 @@ fun check G fname =
 			if !ErrorMsg.anyErrors then
 			    raise ErrorMsg.Error
 			else
-			    (Option.app (Unused.check G) (#3 prog);
+			    (if isLib fname then
+				 ()
+			     else
+				 Option.app (Unused.check G) (#3 prog);
 			     (G', #3 prog))
 		    end
 	    end