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