src/Pure/Tools/proof_general.ML

--- a/src/Pure/Tools/proof_general.ML	Tue Mar 18 16:45:14 2014 +0100
+++ b/src/Pure/Tools/proof_general.ML	Tue Mar 18 17:39:03 2014 +0100
@@ -337,7 +337,7 @@
       Thy_Info.register_thy (Toplevel.end_theory Position.none (Isar.state ()))
         handle ERROR msg =>
           (warning (cat_lines ["Failed to register theory: " ^ quote name, msg]);
-            tell_file_retracted (Thy_Load.thy_path (Path.basic name)))
+            tell_file_retracted (Resources.thy_path (Path.basic name)))
     val _ = Isar.init ();
   in () end;