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

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

diff --git a/helm/software/helena/src/basic_ag/bagCrg.ml b/helm/software/helena/src/basic_ag/bagCrg.ml
index 8d35483ea3d160abd06c2f8bad9e33ef1f8ccfc9..6a83282b39088bcffc0421804ea2a38f8c727a67 100644 (file)
--- 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 **************************************)