diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml index ee36c857ceda0887f7d8bcf25028d904fbaf3cf0..82314cb1807c274997be0b5394a45bbfac173a10 100644 --- a/src/plugins/value/value_parameters.ml +++ b/src/plugins/value/value_parameters.ml @@ -1336,8 +1336,8 @@ module Precision = let () = Precision.set_range (-1) 11 let () = add_precision_dep Precision.parameter -(* Sets a parameter [P] to [t], unless it has already been set by another mean - that this function. *) +(* Sets a parameter [P] to [t], unless it has already been set by any other + means. *) let set (type t) (module P: Parameter_sig.S with type t = t) = let previous = ref (P.get ()) in fun t ->