src/Pure/System/session.ML

--- a/src/Pure/System/session.ML	Sun Jul 19 19:20:17 2009 +0200
+++ b/src/Pure/System/session.ML	Sun Jul 19 19:24:04 2009 +0200
@@ -11,7 +11,7 @@
   val welcome: unit -> string
   val use_dir: string -> string -> bool -> string list -> bool -> bool ->
     string -> bool -> string list -> string -> string -> bool * string ->
-    string -> int -> bool -> bool -> int -> int -> bool -> unit
+    string -> int -> bool -> bool -> int -> int -> int -> unit
   val finish: unit -> unit
 end;