diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml index 636ae594710bd77b7e5f3e64171cad7bcbb8ba4d..54a063c765cc7e9d724e9ba4a5d3590dd0af92d7 100644 --- a/src/plugins/value/value_parameters.ml +++ b/src/plugins/value/value_parameters.ml @@ -1371,7 +1371,7 @@ let set_analysis option_name n = set (module (SplitReturn)) ~default (if n > 4 then "auto" else ""); () -let () = Precision.add_update_hook (fun _ n -> set_analysis Precision.name n) +let () = Precision.add_set_hook (fun _ n -> set_analysis Precision.name n) (* -------------------------------------------------------------------------- *) (* --- Freeze parameters. MUST GO LAST --- *)