X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_ag%2Fbag.ml;h=c0e540963e45e26d2b8056da38863b34277f292b;hb=9935a5bf5bdc98ad01a2b0234cf4e612a62c939f;hp=74c305156ecb3c609b06a563ed95b2828d6e83fd;hpb=87e51ef39b7dc9eaeff2cf319038c8aaca1aeb91;p=helm.git

diff --git a/helm/software/helena/src/basic_ag/bag.ml b/helm/software/helena/src/basic_ag/bag.ml
index 74c305156..c0e540963 100644
--- a/helm/software/helena/src/basic_ag/bag.ml
+++ b/helm/software/helena/src/basic_ag/bag.ml
@@ -12,7 +12,7 @@
 (* kernel version: basic, absolute, global *)
 (* note          : experimental *) 
 
-module J = Marks
+module P = Marks
 module E = Entity
 
 type uri = E.uri
@@ -23,15 +23,15 @@ type bind = Void         (* exclusion *)
           | Abbr of term (* abbreviation *)
 
 and term = Sort of int                          (* hierarchy index *)
-         | LRef of J.mark                       (* location *)
+         | LRef of P.mark                       (* location *)
          | GRef of uri                          (* reference *)
          | Cast of term * term                  (* domain, element *)
          | Appl of term * term                  (* argument, function *)
-         | Bind of attrs * J.mark * bind * term (* name, location, binder, scope *)
+         | Bind of attrs * P.mark * bind * term (* name, location, binder, scope *)
 
 type entity = term E.entity (* attrs, uri, binder *)
 
-type lenv = (attrs * J.mark * bind) list (* name, location, binder *) 
+type lenv = (attrs * P.mark * bind) list (* name, location, binder *) 
 
 type message = (lenv, term) Log.item list