X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_rg%2Fbrg.ml;h=eaaeb6e6054c8c3fc426b74cd776f0256e89985d;hb=c45c77de154323feaf5bf6aee98c86b95361b9ae;hp=09d2f247a33f8078193cee8b688f2a1489df1b69;hpb=e86383ae4805a526b3acca2ef3c936b3f22daaad;p=helm.git

diff --git a/helm/software/lambda-delta/basic_rg/brg.ml b/helm/software/lambda-delta/basic_rg/brg.ml
index 09d2f247a..eaaeb6e60 100644
--- a/helm/software/lambda-delta/basic_rg/brg.ml
+++ b/helm/software/lambda-delta/basic_rg/brg.ml
@@ -21,6 +21,6 @@ type term = Sort of int                     (* hierarchy index *)
 	  | Appl of term * term             (* argument, function *)
 	  | Bind of id * bind * term * term (* name, binder, content, scope *)
 
-type entry = uri * bind * term (* uri, binder, contents *)
+type obj = bind * term (* binder, contents *)
 
-type item = entry option
+type item = (obj * uri) option (* uri, object *)