From eb464077c9e83f7384d37e7a9306266dd2e42b2e 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:21:04 +0200
Subject: [PATCH] [impact] Uses Eva.Analysis computation hook instead of
Db.Value.
---
src/plugins/impact/pdg_aux.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/impact/pdg_aux.ml b/src/plugins/impact/pdg_aux.ml
index 43c12eac0fd..8513bcf2411 100644
--- a/src/plugins/impact/pdg_aux.ml
+++ b/src/plugins/impact/pdg_aux.ml
@@ -104,7 +104,7 @@ module NS = struct
fold (fun n z -> f (n, z))
- let () = Db.Value.Table_By_Callstack.add_hook_on_update (fun _ -> clear_caches ())
+ let () = Eva.Analysis.register_computation_hook (fun _ -> clear_caches ())
end
type call_interface = (PdgTypes.Node.t * NS.t) list
--
GitLab