diff --git a/src/plugins/postdominators/compute.ml b/src/plugins/postdominators/compute.ml
index d0b257ac9a65ef5759a2b9b9e935fca9701bde32..08cb906feaae05998b2d14113dc8195620ee6913 100644
--- a/src/plugins/postdominators/compute.ml
+++ b/src/plugins/postdominators/compute.ml
@@ -255,7 +255,7 @@ let () = Db.Main.extend output
 include
   PostDomDb
     (struct
-      let is_accessible = Db.Value.is_reachable_stmt
+      let is_accessible = Eva.Results.is_reachable
       let dependencies = [ Db.Value.self ]
       let name = "value"
       let eval_cond stmt _e =