From 07f031e6e9816c9d11b5e64a434a70a12cf87d97 Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Sat, 13 Apr 2024 17:12:00 +0200 Subject: [PATCH] Fix the compilation on 5.2.0~alpha1 about our inlined attribute --- src/progress/engine/duration.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/progress/engine/duration.ml b/src/progress/engine/duration.ml index ea413d3..7857e76 100644 --- a/src/progress/engine/duration.ml +++ b/src/progress/engine/duration.ml @@ -11,7 +11,7 @@ type nonrec t = t let equal = Mtime.Span.equal let compare = Mtime.Span.compare -let compare_zero (f : int -> int -> _) a b = f (compare a b) 0 [@@inlined] +let[@inline always] compare_zero (f : int -> int -> _) a b = f (compare a b) 0 let ( + ) = Mtime.Span.add let ( < ) = compare_zero ( < ) let ( <= ) = compare_zero ( <= )