]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/basic_rg/brgEnvironment.ml
- proper KAM with closures implemented for the brg kernel
[helm.git] / helm / software / lambda-delta / basic_rg / brgEnvironment.ml
index fb4243c74f024bb979dd2b1a941ecbdc396d9d73..902eeb45a629c599da696f0d798336e5260d4460 100644 (file)
@@ -18,7 +18,7 @@ exception ObjectNotFound of B.message
 
 let hsize = 7000 
 let env = H.create hsize
-let entry = ref 0
+let entry = ref 1
 
 (* Internal functions *******************************************************)