diff --git a/src/plugins/pdg/build.ml b/src/plugins/pdg/build.ml
index e90ada08bba331ce0f7190093d8c7d5c56d9630f..6606cbf535d5975bc4349e6bcb4776f34b94dbba 100644
--- a/src/plugins/pdg/build.ml
+++ b/src/plugins/pdg/build.ml
@@ -1000,7 +1000,7 @@ let degenerated top kf =
   if top then PdgTypes.Pdg.top kf else PdgTypes.Pdg.bottom kf
 
 let compute_pdg kf =
-  if not (Db.Value.is_computed ()) then !Db.Value.compute ();
+  if not (Eva.Analysis.is_computed ()) then Eva.Analysis.compute ();
   Pdg_parameters.feedback "computing for function %a" Kernel_function.pretty kf;
   try
     if is_variadic kf then
diff --git a/src/plugins/pdg/register.ml b/src/plugins/pdg/register.ml
index 5add8915f1cf8f77a1573dab0f468e71c1755c6f..0c1ae27625fcf632d968f3e545e48dc454891480 100644
--- a/src/plugins/pdg/register.ml
+++ b/src/plugins/pdg/register.ml
@@ -127,7 +127,7 @@ let compute_for_kf kf =
   Kernel_function.Set.mem kf (Pdg_parameters.BuildFct.get ())
 
 let compute () =
-  !Db.Value.compute ();
+  Eva.Analysis.compute ();
   let do_kf_pdg kf =
     if compute_for_kf kf then
       let pdg = !Db.Pdg.get kf in