From 77e763b3363420270c0cb43b0d5f6bc3a5a7bce3 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 20 Jun 2023 10:31:36 -0400
Subject: [PATCH] details

---
 src/client-ocurl/batch.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/client-ocurl/batch.ml b/src/client-ocurl/batch.ml
index 122013a8..0be8b1b0 100644
--- a/src/client-ocurl/batch.ml
+++ b/src/client-ocurl/batch.ml
@@ -13,9 +13,9 @@ let push self l =
     self.len <- self.len + List.length l
   )
 
-let len self = self.len
+let[@inline] len self = self.len
 
-let time_started self = self.started
+let[@inline] time_started self = self.started
 
 let pop_all self =
   let l = self.l in