diff --git a/src/plugins/metrics/register_gui.ml b/src/plugins/metrics/register_gui.ml index 43c78ef633fdb6c0af1f6cb20d6f5cb0f814cf28..2d428cdc8377170a70f03385332b6ec1620cfe40 100644 --- a/src/plugins/metrics/register_gui.ml +++ b/src/plugins/metrics/register_gui.ml @@ -272,7 +272,7 @@ module ValueCoverageGUI = struct update_filetree := refresh let () = - Db.Value.Table_By_Callstack.add_hook_on_update + Eva.Analysis.register_computation_hook (fun _ -> Metrics_coverage.clear_coverage_by_fun (); !update_filetree `Visibility)