X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/3a941c292d6b48b81e7fd624e0689c4f088cae17..434a7b1fbf0e810a19b9b4038edd28c981908cbd:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index 29d2b37..6585144 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -665,6 +665,7 @@ fun regenerate context =
 	    end
 		handle IO.Io _ => ()
 		     | OS.SysErr (s, _) => print ("System error processing user " ^ user ^ ": " ^ s ^ "\n")
+		     | ErrorMsg.Error => print ("User " ^ user ^ " had a compilation error.\n")
     in
 	app contactNode Config.nodeIps;
 	Env.pre ();