update printers names in containers.top (closes #201)

This commit is contained in:
Simon Cruanes 2018-02-26 19:47:24 -06:00
parent a0d0cf9d88
commit 5f0b648845

View file

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