From 5f0b6488453a9ea41a050f643a5f41d2f37b8ffd Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 26 Feb 2018 19:47:24 -0600 Subject: [PATCH] update printers names in containers.top (closes #201) --- src/top/containers_top.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/top/containers_top.ml b/src/top/containers_top.ml index 4eeca3ab..ba1f8502 100644 --- a/src/top/containers_top.ml +++ b/src/top/containers_top.ml @@ -17,11 +17,11 @@ let install_printers = List.iter install_printer let () = install_printers - [ "CCHashtbl.print" - ; "CCBV.print" - ; "CCDeque.print" - ; "CCFQueue.print" - ; "CCIntMap.print" - ; "CCPersistentArray.print" + [ "CCHashtbl.pp" + ; "CCBV.pp" + ; "CCDeque.pp" + ; "CCFQueue.pp" + ; "CCIntMap.pp" + ; "CCPersistentArray.pp" ; "CCSexp.pp" ]