X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagEnvironment.ml;h=f145661723be6b4664d4d841a82d38dd216c3a81;hb=8f5f3f5c96fd3ab0c466b828a731b8517a91bbd0;hp=5e6c9f1a0d58a7ce75df7c1e38f9cc1eda83f18d;hpb=338e3e5c639fbcfeeb347a0121cacc6c0f1fc42a;p=helm.git

diff --git a/helm/software/lambda-delta/basic_ag/bagEnvironment.ml b/helm/software/lambda-delta/basic_ag/bagEnvironment.ml
index 5e6c9f1a0..f14566172 100644
--- a/helm/software/lambda-delta/basic_ag/bagEnvironment.ml
+++ b/helm/software/lambda-delta/basic_ag/bagEnvironment.ml
@@ -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 *******************************************************)