From 4f35a57a6e6a45d7b67ec9b22737f154cd22dcf7 Mon Sep 17 00:00:00 2001
From: Nicolas Osborne <nicolas.osborne@tarides.com>
Date: Thu, 5 Sep 2024 14:52:26 +0200
Subject: [PATCH] Remove type signature from `Reserr.fold_left` implementation

---
 plugins/qcheck-stm/src/reserr.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/plugins/qcheck-stm/src/reserr.ml b/plugins/qcheck-stm/src/reserr.ml
index 92702cbc..b079e272 100644
--- a/plugins/qcheck-stm/src/reserr.ml
+++ b/plugins/qcheck-stm/src/reserr.ml
@@ -327,8 +327,7 @@ let promote_opt r =
       let* _ = warns ws and* _ = filter_errs errs in
       ok None
 
-let rec fold_left (f : 'a -> 'b -> 'a reserr) (acc : 'a) : 'b list -> 'a reserr
-    = function
+let rec fold_left f acc = function
   | [] -> ok acc
   | x :: xs -> (
       match f acc x with