src/Pure/ProofGeneral/pgip_isabelle.ML

--- a/src/Pure/ProofGeneral/pgip_isabelle.ML	Fri Jul 20 15:29:25 2007 +0200
+++ b/src/Pure/ProofGeneral/pgip_isabelle.ML	Fri Jul 20 17:54:15 2007 +0200
@@ -80,7 +80,7 @@
                NONE => (NONE, NONE)
              | SOME fname =>
                let val path = Path.explode fname in
-                 case ThyLoad.check_file [] path of
+                 case ThyLoad.check_file Path.current path of
                    SOME _ => (SOME (PgipTypes.pgipurl_of_path path), NONE)
                  | NONE => (NONE, SOME fname)
                end);