From 0b5c73a31ae0f33b66c21c9606cafb352110354a Mon Sep 17 00:00:00 2001 From: Patrick Ferris Date: Tue, 28 Mar 2023 12:28:39 +0100 Subject: [PATCH] Fix mtime --- src/irmin/logging.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/irmin/logging.ml b/src/irmin/logging.ml index f398ae412f..b5c7a21fa7 100644 --- a/src/irmin/logging.ml +++ b/src/irmin/logging.ml @@ -36,7 +36,7 @@ let reporter : in let ppf = match level with Logs.App -> Fmt.stdout | _ -> Fmt.stderr in let with_stamp h tags k fmt = - let dt = Mtime.Span.to_us (Clock.count start_time) in + let dt = Mtime.Span.to_float_ns (Clock.count start_time) *. 1e-3 in let source_pos_text, source_pos_colour = match tags with | None -> (Logs.Src.name src, `Magenta)