src/Pure/Concurrent/timeout.ML

       if was_timeout andalso (Exn.is_interrupt_exn result orelse Exn.is_interrupt_exn test)
       then raise TIMEOUT (stop - start)
       else (Exn.release test; Exn.release result)
     end);
 
-fun print t = "Timeout after " ^ Time.toString t ^ "s";
+fun print t = "Timeout after " ^ Value.print_time t ^ "s";
 
 end;