Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed msg;
authorwenzelm
Wed, 17 Mar 1999 16:32:38 +0100
changeset 6389 da9c26906f3f
parent 6388 ab422f554074
child 6390 5d58c100ca3f
fixed msg;
src/Pure/Thy/thy_info.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle