Skip to content

Commit

Permalink
Remove obsolete argument from doc
Browse files Browse the repository at this point in the history
  • Loading branch information
bclement-ocp committed Jun 20, 2024
1 parent 7ef7477 commit 13a695c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/lib/reasoners/rel_utils.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 13a695c

Please sign in to comment.