src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 23913 fcfacb6670ed
parent 23884 1d39ec4fe73f
child 24067 69b51bc5ce06
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Sun Jul 22 21:20:56 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Sun Jul 22 21:20:58 2007 +0200
     1.3 @@ -357,7 +357,7 @@
     1.4      if Toplevel.is_toplevel state andalso ThyInfo.known_thy name then
     1.5       (ThyInfo.touch_child_thys name;
     1.6        ThyInfo.pretend_use_thy_only name handle ERROR msg =>
     1.7 -       (warning msg; warning ("Failed to register theory: " ^ quote name);
     1.8 +       (warning (cat_lines [msg, "Failed to register theory: " ^ quote name]);
     1.9          tell_file_retracted true (Path.base path)))
    1.10      else raise Toplevel.UNDEF
    1.11    end;