From e924927fb9d4cf310829c873eaa6c3254238a3ce Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 30 Oct 2018 04:03:08 +0100
Subject: [library] Better sizing for libobject hashtbl.

17 is a very small number as files in the stdlib will routinely pass
size 190.

As this is done only on startup, it seems wise to provide a bit more
space.
---
 library/libobject.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/libobject.ml b/library/libobject.ml
index 79a3fed1b9..c3b96d11fc 100644
--- a/library/libobject.ml
+++ b/library/libobject.ml
@@ -65,7 +65,7 @@ type dynamic_object_declaration = {
 let object_tag (Dyn.Dyn (t, _)) = Dyn.repr t
 
 let cache_tab =
-  (Hashtbl.create 17 : (string,dynamic_object_declaration) Hashtbl.t)
+  (Hashtbl.create 223 : (string,dynamic_object_declaration) Hashtbl.t)
 
 let declare_object_full odecl =
   let na = odecl.object_name in
-- 
cgit v1.2.3