Name capture fixed.

diff --git a/helm/software/components/ng_kernel/oCic2NCic.ml b/helm/software/components/ng_kernel/oCic2NCic.ml
index 6987bb7ebfe663003268f72bdb525217ad38042e..b1b08ee3c7821db86fd7186e588c04467f7cf62f 100644 (file)
--- a/helm/software/components/ng_kernel/oCic2NCic.ml
+++ b/helm/software/components/ng_kernel/oCic2NCic.ml
@@ -383,8 +383,8 @@ let convert_term uri t =
       in
       let ens,objs =
        List.fold_right
-        (fun uri (l,objs) ->
-          let t = List.assoc uri ens in
+        (fun luri (l,objs) ->
+          let t = List.assoc luri ens in
           let t,o = aux octx ctx n_fix uri t in
            t::l, o@objs
         ) params ([],[])