From 2be5f2f6381825c591cb3bb66c15d35aa6bc9746 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 25 Aug 2015 09:48:02 +0200
Subject: [PATCH] fix bug in `PHashtbl`

---
 src/misc/pHashtbl.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/misc/pHashtbl.ml b/src/misc/pHashtbl.ml
index 86458bcf..c7ba5919 100644
--- a/src/misc/pHashtbl.ml
+++ b/src/misc/pHashtbl.ml
@@ -204,6 +204,7 @@ let map f t =
     | Used (k, v, dist) ->
       t'.buckets.(i) <- Used (k, f k v, dist)
   done;
+  t'.size <- t.size;
   t'
 
 (** Destructive filter (remove bindings that do not satisfiy predicate) *)