log facility, initial environment for basic_rg

[helm.git] / helm / software / lambda-delta / toplevel / metaAut.ml

diff --git a/helm/software/lambda-delta/toplevel/metaAut.ml b/helm/software/lambda-delta/toplevel/metaAut.ml
index 71759f79ad1f07dd38531352bb1f8d15502b7ca9..59801dac7833fc98efe739589ef10bd23a9ebab5 100644 (file)
--- 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 *******************************************************)