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" ]