diff --git a/src/plugins/value/domains/multidim/abstract_structure.ml b/src/plugins/value/domains/multidim/abstract_structure.ml
index 1146926b0e8cf639a97e0ab2e4b274a9a1180569..39540bf0c84060a113139d23bf694cb07e45a46c 100644
--- a/src/plugins/value/domains/multidim/abstract_structure.ml
+++ b/src/plugins/value/domains/multidim/abstract_structure.ml
@@ -22,7 +22,6 @@
 
 open Lattice_bounds
 open Abstract_memory
-open Pretty_memory
 
 let no_oracle = fun _exp -> Int_val.top
 
@@ -92,7 +91,7 @@ struct
   type submemory = M.t
 
   let pretty fmt m =
-    pp_iter2 ~format:"@[<hv>.%a%a@]"
+    Pretty_memory.pp_iter2 ~format:"@[<hv>.%a%a@]"
       FieldMap.iter Field.pretty M.pretty fmt m.fields
 
   let hash m =
@@ -266,7 +265,8 @@ struct
     | [(_,s)] -> S.pretty fmt s
     | bindings ->
       let l = List.map snd bindings in
-      pp_iter ~format:"@[<hv>%a@]" ~sep:" or @;<1 2>" List.iter S.pretty fmt l
+      Pretty_memory.pp_iter ~format:"@[<hv>%a@]" ~sep:" or @;<1 2>"
+        List.iter S.pretty fmt l
 
   let hash (m : t) =
     Hashtbl.hash (Map.fold (fun _ s acc -> s :: acc) m [])
diff --git a/src/plugins/value/domains/multidim/segmentation.ml b/src/plugins/value/domains/multidim/segmentation.ml
index 8004473f5c9bdc0e03225932d0268503d3802f14..f8781b9f2f554bbb65b7b31096616fa5da4e4603 100644
--- a/src/plugins/value/domains/multidim/segmentation.ml
+++ b/src/plugins/value/domains/multidim/segmentation.ml
@@ -22,7 +22,6 @@
 
 open Lattice_bounds
 open Abstract_memory
-open Pretty_memory
 
 exception Not_implemented
 
@@ -456,7 +455,7 @@ struct
         (* fold the previous upper bound = the current lower bound *)
         ignore (List.fold_left (fun l (v,u) -> f (l,v,u) ; u) l segments)
       in
-      pp_iter (iter l) pp fmt s
+      Pretty_memory.pp_iter (iter l) pp fmt s
 
   let pretty fmt (m : t) : unit =
     pretty_segments fmt (m.start,m.segments)