src/Pure/ProofGeneral/proof_general_pgip.ML

--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Wed Dec 29 17:34:41 2010 +0100
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Wed Dec 29 18:18:42 2010 +0100
@@ -780,8 +780,8 @@
    in
        (case (!current_working_dir) of
             NONE => ()
-          | SOME dir => Thy_Load.del_path dir;
-        Thy_Load.add_path newdir;
+          | SOME dir => Thy_Load.legacy_del_path dir;
+        Thy_Load.legacy_add_path newdir;
         current_working_dir := SOME newdir)
    end
 end