X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Ftoplevel%2FmetaAut.ml;fp=helm%2Fsoftware%2Flambda-delta%2Ftoplevel%2FmetaAut.ml;h=59801dac7833fc98efe739589ef10bd23a9ebab5;hb=c45c77de154323feaf5bf6aee98c86b95361b9ae;hp=71759f79ad1f07dd38531352bb1f8d15502b7ca9;hpb=e86383ae4805a526b3acca2ef3c936b3f22daaad;p=helm.git

diff --git a/helm/software/lambda-delta/toplevel/metaAut.ml b/helm/software/lambda-delta/toplevel/metaAut.ml
index 71759f79a..59801dac7 100644
--- a/helm/software/lambda-delta/toplevel/metaAut.ml
+++ b/helm/software/lambda-delta/toplevel/metaAut.ml
@@ -33,7 +33,7 @@ type status = {
 type resolver = Local of int
               | Global of M.pars
 
-let hsize = 11 (* hash tables initial size *)
+let hsize = 7000 (* hash tables initial size *)
 
 (* Internal functions *******************************************************)