X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_ag%2FbagCrg.ml;h=6a83282b39088bcffc0421804ea2a38f8c727a67;hb=9935a5bf5bdc98ad01a2b0234cf4e612a62c939f;hp=8d35483ea3d160abd06c2f8bad9e33ef1f8ccfc9;hpb=87e51ef39b7dc9eaeff2cf319038c8aaca1aeb91;p=helm.git

diff --git a/helm/software/helena/src/basic_ag/bagCrg.ml b/helm/software/helena/src/basic_ag/bagCrg.ml
index 8d35483ea..6a83282b3 100644
--- a/helm/software/helena/src/basic_ag/bagCrg.ml
+++ b/helm/software/helena/src/basic_ag/bagCrg.ml
@@ -10,7 +10,7 @@
       V_______________________________________________________________ *)
 
 module C = Cps
-module J = Marks
+module P = Marks
 module N = Layer
 module E = Entity
 module D = Crg
@@ -46,13 +46,13 @@ let rec xlate_term st f c = function
 
 and xlate_bind st f c a = function
    | D.Abst (_, w) ->
-      let f ww = Z.push "xlate_bind" f c a (J.new_mark ()) (Z.Abst ww) in 
+      let f ww = Z.push "xlate_bind" f c a (P.new_mark ()) (Z.Abst ww) in 
       xlate_term st f c w
    | D.Abbr v      -> 
-      let f vv = Z.push "xlate_bind" f c a (J.new_mark ()) (Z.Abbr vv) in
+      let f vv = Z.push "xlate_bind" f c a (P.new_mark ()) (Z.Abbr vv) in
       xlate_term st f c v
    | D.Void        ->
-      Z.push "xlate_bind" f c a (J.new_mark ()) Z.Void
+      Z.push "xlate_bind" f c a (P.new_mark ()) Z.Void
 
 (* internal functions: bag to crg term **************************************)