src/Pure/System/isabelle_process.ML
changeset 50254 935ac0ad7e83
parent 50201 c26369c9eda6
child 50255 d0ec1f0d1d7d
     1.1 --- a/src/Pure/System/isabelle_process.ML	Wed Nov 28 16:07:17 2012 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Wed Nov 28 16:09:05 2012 +0100
     1.3 @@ -99,7 +99,7 @@
     1.4    if body = "" then ()
     1.5    else
     1.6      message false mbox name
     1.7 -      ((case opt_serial of SOME i => cons (Markup.serialN, string_of_int i) | _ => I)
     1.8 +      ((case opt_serial of SOME i => cons (Markup.serialN, Markup.print_int i) | _ => I)
     1.9          (Position.properties_of (Position.thread_data ()))) body;
    1.10  
    1.11  fun message_output mbox channel =