src/Pure/Isar/session.ML

--- a/src/Pure/Isar/session.ML	Fri Nov 09 00:16:52 2001 +0100
+++ b/src/Pure/Isar/session.ML	Fri Nov 09 00:17:09 2001 +0100
@@ -84,7 +84,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.symbol_use root_file;
+       File.use root_file;
        finish ()))) ()
   handle exn => (writeln (Toplevel.exn_message exn); exit 1);