# HG changeset patch
# User wenzelm
# Date 921684758 -3600
# Node ID da9c26906f3f0d7a633e9f388a0822903a317b5d
# Parent  ab422f55407481a1b15173b4cdb4c2db1cea6df2
fixed msg;

diff -r ab422f554074 -r da9c26906f3f src/Pure/Thy/thy_info.ML
--- a/src/Pure/Thy/thy_info.ML	Wed Mar 17 15:43:04 1999 +0100
+++ b/src/Pure/Thy/thy_info.ML	Wed Mar 17 16:32:38 1999 +0100
@@ -198,7 +198,7 @@
           if exists (equal path o #1) files then
             Some (make_deps present outdated master (overwrite (files, (path, Some info))))
           else (warning (loader_msg "undeclared dependency of theory" [name] ^
-            "on file: " ^ quote (Path.pack path)); deps)
+            " on file: " ^ quote (Path.pack path)); deps)
       | provide _ _ None = None;
   in
     (case apsome PureThy.get_name (Context.get_context ()) of