From c7151a6c71d6608a7eac8de7cd8121fae53647a5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 12 Apr 2022 14:20:40 +0200
Subject: [PATCH] [metrics] Uses Eva.Analysis computation hook instead of
Db.Value.
---
src/plugins/metrics/register_gui.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/metrics/register_gui.ml b/src/plugins/metrics/register_gui.ml
index 43c78ef633f..2d428cdc837 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)
--
GitLab