--- a/src/Pure/Thy/thy_info.ML Sat Nov 27 12:02:19 2010 +0100
+++ b/src/Pure/Thy/thy_info.ML Sat Nov 27 14:19:04 2010 +0100
@@ -64,8 +64,8 @@
(* thy database *)
type deps =
- {master: (Path.T * File.ident), (*master dependencies for thy file*)
- imports: string list}; (*source specification of imports (partially qualified)*)
+ {master: (Path.T * Thy_Load.file_ident), (*master dependencies for thy file*)
+ imports: string list}; (*source specification of imports (partially qualified)*)
fun make_deps master imports : deps = {master = master, imports = imports};