changeset 63806 | c54a53ef1873 |
parent 62930 | 51ac6bc389e8 |
child 65212 | fd6bc719c98b |
--- a/src/Pure/System/isabelle_process.ML Mon Sep 05 22:09:52 2016 +0200 +++ b/src/Pure/System/isabelle_process.ML Mon Sep 05 23:11:00 2016 +0200 @@ -81,7 +81,7 @@ val _ = writeln ("Tracing paused. " ^ text "Stop" ^ ", or continue with next " ^ text "100" ^ ", " ^ text "1000" ^ ", " ^ text "10000" ^ " messages?") - val m = Markup.parse_int (Future.join promise) + val m = Value.parse_int (Future.join promise) handle Fail _ => error "Stopped"; in Synchronized.change tracing_messages