- bugfix is refreshed state of AutCrg: now we return a fresh state

[helm.git] / helm / software / helena / src / basic_ag / bag.ml

diff --git a/helm/software/helena/src/basic_ag/bag.ml b/helm/software/helena/src/basic_ag/bag.ml
index 74c305156ecb3c609b06a563ed95b2828d6e83fd..c0e540963e45e26d2b8056da38863b34277f292b 100644 (file)
--- 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