--- a/src/Pure/Thy/thy_load.ML Wed May 14 11:05:07 2008 +0200
+++ b/src/Pure/Thy/thy_load.ML Wed May 14 11:05:08 2008 +0200
@@ -98,7 +98,7 @@
val master as (path, _) = check_thy dir name;
val text = explode (File.read path);
val (name', imports, uses) =
- ThyHeader.read (Position.path path) (Source.of_list_limited 8000 text);
+ ThyHeader.read (Path.position path) (Source.of_list_limited 8000 text);
val _ = name = name' orelse
error ("Filename " ^ quote (Path.implode (Path.base path)) ^
" does not agree with theory name " ^ quote name');