changeset 7223 | b0198ca65867 |
parent 7211 | 8e4aa9044599 |
child 7244 | ad714526c23e |
--- 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;