use_dir: doc;

--- a/src/Pure/Isar/session.ML	Tue Oct 05 15:35:16 1999 +0200
+++ b/src/Pure/Isar/session.ML	Tue Oct 05 15:35:34 1999 +0200
@@ -8,7 +8,7 @@
 signature SESSION =
 sig
   val welcome: unit -> string
-  val use_dir: bool -> bool -> string -> string -> string -> unit
+  val use_dir: bool -> bool -> string -> string -> string -> string -> unit
   val finish: unit -> unit
 end;
 
@@ -67,9 +67,9 @@
        rpath := Some (Url.unpack rpath_str);
    (!rpath, rpath_str <> ""));
 
-fun use_dir reset info parent name rpath_str =
+fun use_dir reset info doc parent name rpath_str =
   (init reset parent name;
-   Present.init info (path ()) name (get_rpath rpath_str);
+   Present.init info doc (path ()) name (get_rpath rpath_str);
    File.symbol_use root_file;
    finish ()) handle exn => (writeln (Toplevel.exn_message exn); exit 1);