diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml index 5eb874d2566e44e9e243f6d50027377060d47373..5d65031bc02d5ba7b3298f6854685338bab3c708 100644 --- a/src/plugins/value/value_parameters.ml +++ b/src/plugins/value/value_parameters.ml @@ -1375,8 +1375,8 @@ module MallocLevel = let option_name = "-eva-mlevel" let default = 0 let arg_name = "m" - let help = "sets to [m] the number of precise dynamic allocation for any \ - given callstack" + let help = "sets to [m] the number of precise dynamic allocations \ + besides the initial one, for each callstack (defaults to 0)" end) let () = MallocLevel.add_aliases ["-val-mlevel"]