changeset 23884 | 1d39ec4fe73f |
parent 23867 | 743f34b12f67 |
child 26005 | 431ab3907291 |
--- 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);