From 9c6245e88d0c70604c6491be9d6ad8ee9a87898a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 2 Apr 2026 14:08:11 +0000 Subject: [PATCH] fix: compat with mtime < 2.1 --- src/lib/meter_provider.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/meter_provider.ml b/src/lib/meter_provider.ml index 44e2e981..55d2f96b 100644 --- a/src/lib/meter_provider.ml +++ b/src/lib/meter_provider.ml @@ -57,7 +57,7 @@ let minimum_min_interval_ = Mtime.Span.(100 * ms) let default_min_interval_ = Mtime.Span.(4 * s) let clamp_interval_ interval = - if Mtime.Span.is_shorter interval ~than:minimum_min_interval_ then + if Mtime.Span.compare interval minimum_min_interval_ < 0 then minimum_min_interval_ else interval