src/Pure/ProofGeneral/proof_general_emacs.ML

--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Jul 24 12:14:53 2010 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Jul 24 21:22:21 2010 +0200
@@ -142,7 +142,7 @@
             Thy_Info.touch_child_thys name; Thy_Info.register_thy name)
           handle ERROR msg =>
             (warning (cat_lines ["Failed to register theory: " ^ quote name, msg]);
-              tell_file_retracted (Thy_Load.thy_path name))
+              tell_file_retracted (Thy_Header.thy_path name))
       else ();
     val _ = Isar.init ();
   in () end;