Remove type signature from Reserr.fold_left implementation

n-osborne · Oct 2, 2024 · 9133121 · 9133121
1 parent d8fe270
commit 9133121
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/plugins/qcheck-stm/src/reserr.ml b/plugins/qcheck-stm/src/reserr.ml
@@ -323,8 +323,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