src/Pure/Thy/thy_info.ML
changeset 6389 da9c26906f3f
parent 6377 e7b051fae849
child 6484 3f098b0ec683
     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