]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/basic_ag/bagEnvironment.ml
- procedural: basic support for lapply (solves a problem in the reconstruction of...
[helm.git] / helm / software / lambda-delta / basic_ag / bagEnvironment.ml
index 5e6c9f1a0d58a7ce75df7c1e38f9cc1eda83f18d..f145661723be6b4664d4d841a82d38dd216c3a81 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 *******************************************************)