diff --git a/src/plugins/impact/pdg_aux.ml b/src/plugins/impact/pdg_aux.ml index 43c12eac0fde2d1e89a3807c758847b3f6a1144c..8513bcf24116c76db8f094446ad837068f527f2e 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