1.1 --- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 14 22:09:08 2008 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 14 22:26:53 2008 +0200
     1.3 @@ -143,7 +143,7 @@
     1.4        if ThyInfo.check_known_thy name then
     1.5          (Isar.commit_exit (); ThyInfo.touch_child_thys name; ThyInfo.register_thy name)
     1.6            handle ERROR msg =>
     1.7 -            (warning (cat_lines [msg, "Failed to register theory: " ^ quote name]);
     1.8 +            (warning (cat_lines ["Failed to register theory: " ^ quote name, msg]);
     1.9                tell_file_retracted (ThyLoad.thy_path name))
    1.10        else ();
    1.11      val _ = Isar.init_point ();