# HG changeset patch
# User wenzelm
# Date 934833847 -7200
# Node ID b0198ca6586773b5258f05b0519aa51dc60d7de9
# Parent  e4244b2e70ef05be6d7a47bf36c4a7fc6c5c8e61
tuned msg;

diff -r e4244b2e70ef -r b0198ca65867 src/Pure/Thy/thy_info.ML
--- a/src/Pure/Thy/thy_info.ML	Mon Aug 16 22:03:48 1999 +0200
+++ b/src/Pure/Thy/thy_info.ML	Mon Aug 16 22:04:07 1999 +0200
@@ -248,7 +248,7 @@
   in
     if null missing_files then ()
     else warning (loader_msg "unresolved dependencies of theory" [name] ^
-      "\non file(s): " ^ commas_quote missing_files);
+      " on file(s): " ^ commas_quote missing_files);
     change_deps name (fn _ => Some (make_deps true false (Some master) files));
     perform Update name
   end;