changeset 16715 | ecca9fd2754f |
parent 16451 | c9f1fc144132 |
child 16728 | c4c9d5df26ba |
--- a/src/Pure/Isar/session.ML Wed Jul 06 10:41:48 2005 +0200 +++ b/src/Pure/Isar/session.ML Wed Jul 06 10:41:49 2005 +0200 @@ -79,7 +79,7 @@ (init reset parent name; Present.init build info doc doc_graph (path ()) name (if dump = "" then NONE else SOME (Path.unpack dump)) (get_rpath rpath_str) verbose; - File.use (Path.basic root); + ThyInfo.time_use root; finish ())))) () handle exn => (writeln (Toplevel.exn_message exn); exit 1);