fix: compat with mtime < 2.1

This commit is contained in:
Simon Cruanes 2026-04-02 14:08:11 +00:00
parent 7b06ccb4e2
commit 9c6245e88d
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -57,7 +57,7 @@ let minimum_min_interval_ = Mtime.Span.(100 * ms)
let default_min_interval_ = Mtime.Span.(4 * s) let default_min_interval_ = Mtime.Span.(4 * s)
let clamp_interval_ interval = 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_ minimum_min_interval_
else else
interval interval