src/Pure/ProofGeneral/pgip_isabelle.ML

--- a/src/Pure/ProofGeneral/pgip_isabelle.ML	Mon May 31 19:36:13 2010 +0200
+++ b/src/Pure/ProofGeneral/pgip_isabelle.ML	Mon May 31 21:06:57 2010 +0200
@@ -80,7 +80,7 @@
                NONE => (NONE, NONE)
              | SOME fname =>
                let val path = Path.explode fname in
-                 case ThyLoad.check_file Path.current path of
+                 case Thy_Load.check_file Path.current path of
                    SOME _ => (SOME (PgipTypes.pgipurl_of_path path), NONE)
                  | NONE => (NONE, SOME fname)
                end);