src/Pure/Isar/session.ML

--- a/src/Pure/Isar/session.ML	Wed Aug 01 16:55:45 2007 +0200
+++ b/src/Pure/Isar/session.ML	Wed Aug 01 16:59:15 2007 +0200
@@ -10,7 +10,7 @@
   val name: unit -> string
   val welcome: unit -> string
   val use_dir: string -> bool -> string list -> bool -> bool -> string -> bool -> string list ->
-    string -> string -> bool * string -> string -> int -> bool -> int -> bool -> unit
+    string -> string -> bool * string -> string -> int -> bool -> int -> int -> unit
   val finish: unit -> unit
 end;