src/Pure/Thy/thy_info.ML

--- a/src/Pure/Thy/thy_info.ML	Wed May 14 11:05:07 2008 +0200
+++ b/src/Pure/Thy/thy_info.ML	Wed May 14 11:05:08 2008 +0200
@@ -307,7 +307,7 @@
     val (pos, text, files) =
       (case get_deps name of
         SOME {master = SOME (master_path, _), text as _ :: _, files, ...} =>
-          (Position.path master_path, text, files)
+          (Path.position master_path, text, files)
       | _ => error (loader_msg "corrupted dependency information" [name]));
     val _ = touch_thy name;
     val _ = CRITICAL (fn () =>