From 13a695c0e439b4ba0d5ef5503d17e44796cb7425 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= Date: Wed, 12 Jun 2024 19:12:20 +0200 Subject: [PATCH] Remove obsolete argument from doc --- src/lib/reasoners/rel_utils.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/reasoners/rel_utils.ml b/src/lib/reasoners/rel_utils.ml index d58659ecb5..854077ff20 100644 --- a/src/lib/reasoners/rel_utils.ml +++ b/src/lib/reasoners/rel_utils.ml @@ -268,7 +268,7 @@ module type Domain = sig @raise Inconsistent if [r] cannot possibly be in the domain of [t]. *) val map_leaves : (X.r -> t) -> X.r -> t - (** [map_leaves f r acc] is the "inverse" of [fold_leaves] in the sense that + (** [map_leaves f r] is the "inverse" of [fold_leaves] in the sense that it rebuilds a domain for [r] by using [f] to access the domain for each of [r]'s leaves. *) end