src/Pure/System/isabelle_process.ML
changeset 50911 ee7fe4230642
parent 50715 8cfd585b9162
child 51044 890f502f0e89
     1.1 --- a/src/Pure/System/isabelle_process.ML	Wed Jan 16 11:31:08 2013 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Wed Jan 16 16:26:36 2013 +0100
     1.3 @@ -74,17 +74,16 @@
     1.4    Synchronized.change command_tracing_messages (K Inttab.empty);
     1.5  
     1.6  fun update_tracing () =
     1.7 -  (case Position.get_id (Position.thread_data ()) of
     1.8 +  (case Position.parse_id (Position.thread_data ()) of
     1.9      NONE => ()
    1.10    | SOME id =>
    1.11        let
    1.12 -        val i = Markup.parse_int id;
    1.13          val (n, ok) =
    1.14            Synchronized.change_result command_tracing_messages (fn tab =>
    1.15              let
    1.16 -              val n = the_default 0 (Inttab.lookup tab i) + 1;
    1.17 +              val n = the_default 0 (Inttab.lookup tab id) + 1;
    1.18                val ok = n <= ! tracing_messages;
    1.19 -            in ((n, ok), Inttab.update (i, n) tab) end);
    1.20 +            in ((n, ok), Inttab.update (id, n) tab) end);
    1.21        in
    1.22          if ok then ()
    1.23          else
    1.24 @@ -97,7 +96,7 @@
    1.25                handle Fail _ => error "Stopped";
    1.26            in
    1.27              Synchronized.change command_tracing_messages
    1.28 -              (Inttab.map_default (i, 0) (fn k => k - m))
    1.29 +              (Inttab.map_default (id, 0) (fn k => k - m))
    1.30            end
    1.31        end);
    1.32