From 3a4d827d800a6d6b100301568babe0f4de720022 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 15 Dec 2017 09:35:16 +0100 Subject: [PATCH] fix containers.top (closes #155) --- src/top/containers_top.ml | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/src/top/containers_top.ml b/src/top/containers_top.ml index 4f6854c0..4eeca3ab 100644 --- a/src/top/containers_top.ml +++ b/src/top/containers_top.ml @@ -17,13 +17,11 @@ let install_printers = List.iter install_printer let () = install_printers - [ "CCHashtbl.pp" - ; "CCBV.pp" - ; "CCDeque.pp" - ; "CCFQueue.pp" - ; "CCIntMap.pp" - ; "CCPersistentArray.pp" - ; "CCBigstring.pp" - ; "CCKTree.pp" - ; "CCSexpM.pp" + [ "CCHashtbl.print" + ; "CCBV.print" + ; "CCDeque.print" + ; "CCFQueue.print" + ; "CCIntMap.print" + ; "CCPersistentArray.print" + ; "CCSexp.pp" ]