diff --git a/src/kernel_services/plugin_entry_points/db.ml b/src/kernel_services/plugin_entry_points/db.ml
index 5f121fb7049f236ae1c9814867bff5c05ea01312..4a15e686b3b2538e3ce869ba672491d856d883bb 100644
--- a/src/kernel_services/plugin_entry_points/db.ml
+++ b/src/kernel_services/plugin_entry_points/db.ml
@@ -76,16 +76,6 @@ module Postdominators = struct
   let print_dot = mk_fun "Postdominators.print_dot"
 end
 
-module PostdominatorsValue = struct
-  let compute = mk_fun "PostdominatorsValue.compute"
-  let is_postdominator
-    : (kernel_function -> opening:stmt -> closing:stmt -> bool) ref
-    = mk_fun "PostdominatorsValue.is_postdominator"
-  let stmt_postdominators = mk_fun "PostdominatorsValue.stmt_postdominators"
-  let display = mk_fun "PostdominatorsValue.display"
-  let print_dot = mk_fun "PostdominatorsValue.print_dot"
-end
-
 (* ************************************************************************* *)
 (** {2 GUI} *)
 (* ************************************************************************* *)
diff --git a/src/kernel_services/plugin_entry_points/db.mli b/src/kernel_services/plugin_entry_points/db.mli
index ad0274cc422ec1a3401ffd9dc3f2a48437bffde0..bdb396dc574cddb0e2983d519a776651ee8a0398 100644
--- a/src/kernel_services/plugin_entry_points/db.mli
+++ b/src/kernel_services/plugin_entry_points/db.mli
@@ -128,8 +128,6 @@ end
 
 module Postdominators: PostdominatorsTypes.Sig
 
-module PostdominatorsValue: PostdominatorsTypes.Sig
-
 (** {3 GUI} *)
 
 (** Registered daemon on progress. *)
diff --git a/src/plugins/postdominators/compute.ml b/src/plugins/postdominators/compute.ml
index 865519b776cc4c9bfc4ae6d71f83285795c44735..b9286c9c5f74c1636050904db773a53ecf12a164 100644
--- a/src/plugins/postdominators/compute.ml
+++ b/src/plugins/postdominators/compute.ml
@@ -251,17 +251,6 @@ let output, _ = State_builder.apply_once "Postdominators.Compute.output"
 
 let () = Db.Main.extend output
 
-
-include
-  PostDomDb
-    (struct
-      let is_accessible = Eva.Results.is_reachable
-      let dependencies = [ Eva.Analysis.self ]
-      let name = "value"
-      let eval_cond stmt _e = Eva.Results.condition_truth_value stmt
-    end)
-    (Db.PostdominatorsValue)
-
 (*
 Local Variables:
 compile-command: "make -C ../../.."