From 97b9cb8ea8e7d07ece0edb49580f5212e69293dd Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 15 Aug 2022 13:18:10 -0400 Subject: [PATCH] detail --- src/opentelemetry.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/opentelemetry.ml b/src/opentelemetry.ml index 4d4a5206..c2fde0d0 100644 --- a/src/opentelemetry.ml +++ b/src/opentelemetry.ml @@ -7,7 +7,7 @@ module Rand_bytes = Rand_bytes (** Generation of random identifiers *) open struct - let result_bind x f = + let[@inline] result_bind x f = match x with | Error e -> Error e | Ok x -> f x