src/Pure/Isar/session.ML

--- a/src/Pure/Isar/session.ML	Wed May 12 16:52:28 1999 +0200
+++ b/src/Pure/Isar/session.ML	Wed May 12 16:54:31 1999 +0200
@@ -61,7 +61,7 @@
 fun use_dir reset info parent name =
   (init reset parent name;
     Present.init info (path ()) name;
-    Symbol.use root_file;
+    File.symbol_use root_file;
     finish ()) handle exn => (writeln (Toplevel.exn_message exn); exit 1);