src/Pure/ProofGeneral/proof_general_emacs.ML

     List.app tell_file_retracted (ThyInfo.loaded_files name)
   else ();
 
 in
   fun setup_thy_loader () = ThyInfo.add_hook trace_action;
-  fun sync_thy_loader () = List.app (trace_action ThyInfo.Update) (ThyInfo.names ());
+  fun sync_thy_loader () = List.app (trace_action ThyInfo.Update) (ThyInfo.get_names ());
 end;
 
 
 (* get informed about files *)