tuned;
authorwenzelm
Mon Jul 08 12:47:39 2013 +0200 (2013-07-08 ago)
changeset 525609e6b59cd5560
parent 52559 ddaf277e0d8c
child 52561 722d65595e8e
tuned;
src/Pure/System/isabelle_process.ML
     1.1 --- a/src/Pure/System/isabelle_process.ML	Mon Jul 08 12:07:06 2013 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Mon Jul 08 12:47:39 2013 +0200
     1.3 @@ -75,12 +75,12 @@
     1.4      NONE => ()
     1.5    | SOME id =>
     1.6        let
     1.7 -        val (n, ok) =
     1.8 +        val ok =
     1.9            Synchronized.change_result tracing_messages (fn tab =>
    1.10              let
    1.11                val n = the_default 0 (Inttab.lookup tab id) + 1;
    1.12                val ok = n <= Options.default_int "editor_tracing_messages";
    1.13 -            in ((n, ok), Inttab.update (id, n) tab) end);
    1.14 +            in (ok, Inttab.update (id, n) tab) end);
    1.15        in
    1.16          if ok then ()
    1.17          else