diff --git a/src/plugins/postdominators/dune b/src/plugins/postdominators/dune
index 7b84cb8f931afdbf83851d235a4bcfa6abbd3085..da173221feddee9605ea27c2754b1cc1f1329343 100644
--- a/src/plugins/postdominators/dune
+++ b/src/plugins/postdominators/dune
@@ -25,7 +25,6 @@
  (deps (universe))
  (action (progn
           (echo "Postdominators:" %{lib-available:frama-c-postdominators.core} "\n")
-          (echo "  - Pdg-Types:" %{lib-available:frama-c-pdg.types.core} "\n")
           (echo "  - Eva:" %{lib-available:frama-c-eva.core} "\n")
   )
   )
@@ -36,7 +35,7 @@
   (optional)
   (public_name frama-c-postdominators.core)
   (flags -open Frama_c_kernel :standard -w -9)
-  (libraries frama-c.kernel frama-c-pdg.types.core frama-c-eva.core)
+  (libraries frama-c.kernel frama-c-eva.core)
 )
 
 (plugin (optional) (name postdominators) (libraries frama-c-postdominators.core) (site (frama-c plugins)))
diff --git a/src/plugins/postdominators/print.ml b/src/plugins/postdominators/print.ml
index 560c6965ce4f43f2a2b87e5e42cdcc93743b106e..56e3d81e8ee858dcef7e14a2888dd4a7a516cf80 100644
--- a/src/plugins/postdominators/print.ml
+++ b/src/plugins/postdominators/print.ml
@@ -23,8 +23,7 @@
 open Cil_types
 open Cil_datatype
 
-let pretty_stmt fmt s = let open Pdg_types in
-  let key = PdgIndex.Key.stmt_key s in PdgIndex.Key.pretty fmt key
+let pretty_stmt fmt s = Cil_printer.pp_stmt fmt s
 
 module Printer = struct