src/Pure/Concurrent/task_queue.ML

   let
     val (run, wait, wait_deps) =
       (case timing of NONE => timing_start | SOME var => Synchronized.value var);
     fun micros time = string_of_int (Time.toNanoseconds time div 1000);
   in
-    [("now", Markup.print_real (Time.toReal (Time.now ()))),
-     ("task_name", name), ("task_id", Markup.print_int id),
+    [("now", Value.print_real (Time.toReal (Time.now ()))),
+     ("task_name", name), ("task_id", Value.print_int id),
      ("run", micros run), ("wait", micros wait), ("wait_deps", commas wait_deps)] @
     Position.properties_of pos
   end;
 
 end;