- kernel parameters indication added to exported objects (xml)

[helm.git] / helm / software / lambda-delta / basic_rg / brg.ml

diff --git a/helm/software/lambda-delta/basic_rg/brg.ml b/helm/software/lambda-delta/basic_rg/brg.ml
index 8b0d5453391683ee65e64d7d299f9b882334c4eb..d62a130a4c526c06e6e9f38fa2b864f11a6c686e 100644 (file)
--- a/helm/software/lambda-delta/basic_rg/brg.ml
+++ b/helm/software/lambda-delta/basic_rg/brg.ml
@@ -12,8 +12,8 @@
 (* kernel version: basic, relative, global *)
 (* note          : ufficial basic lambda-delta *) 
 
-type uri = Common.uri
-type id = Common.id
+type uri = Item.uri
+type id = Item.id
 
 type bind = Void         (* exclusion *)
           | Abst of term (* abstraction *)
@@ -31,9 +31,9 @@ and attr = Name of bool * id   (* real?, name *)
 
 and attrs = attr list
 
-type obj = bind Common.obj (* age, uri, binder *)
+type obj = bind Item.obj (* age, uri, binder *)
 
-type item = bind Common.item
+type item = bind Item.item
 
 type context = (attrs * bind) list (* attrs, binder *)