1.1 --- a/src/Pure/System/session.ML	Sun Jul 19 19:20:17 2009 +0200
     1.2 +++ b/src/Pure/System/session.ML	Sun Jul 19 19:24:04 2009 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4    val welcome: unit -> string
     1.5    val use_dir: string -> string -> bool -> string list -> bool -> bool ->
     1.6      string -> bool -> string list -> string -> string -> bool * string ->
     1.7 -    string -> int -> bool -> bool -> int -> int -> bool -> unit
     1.8 +    string -> int -> bool -> bool -> int -> int -> int -> unit
     1.9    val finish: unit -> unit
    1.10  end;
    1.11