fixed msg;
authorwenzelm
Wed Mar 17 16:32:38 1999 +0100 (1999-03-17)
changeset 6389da9c26906f3f
parent 6388 ab422f554074
child 6390 5d58c100ca3f
fixed msg;
src/Pure/Thy/thy_info.ML
     1.1 --- a/src/Pure/Thy/thy_info.ML	Wed Mar 17 15:43:04 1999 +0100
     1.2 +++ b/src/Pure/Thy/thy_info.ML	Wed Mar 17 16:32:38 1999 +0100
     1.3 @@ -198,7 +198,7 @@
     1.4            if exists (equal path o #1) files then
     1.5              Some (make_deps present outdated master (overwrite (files, (path, Some info))))
     1.6            else (warning (loader_msg "undeclared dependency of theory" [name] ^
     1.7 -            "on file: " ^ quote (Path.pack path)); deps)
     1.8 +            " on file: " ^ quote (Path.pack path)); deps)
     1.9        | provide _ _ None = None;
    1.10    in
    1.11      (case apsome PureThy.get_name (Context.get_context ()) of