[Pdg] removes circularity due to postdominators

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)))

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