diff --git a/containers.mllib b/containers.mllib index 9f0c8e14..ae106d5d 100644 --- a/containers.mllib +++ b/containers.mllib @@ -3,6 +3,7 @@ Deque Graph Cache FlatHashtbl +FHashtbl FQueue SplayTree PHashtbl