From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 8 Apr 2008 17:27:41 +0000 (+0000)
Subject: Name capture fixed.
X-Git-Tag: make_still_working~5396
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=83a4859b0a6fec3953dae70cd6177eecd850d012;hp=90a9ceff7dc614e7be0b600fc6c820abd980595a;p=helm.git

Name capture fixed.
---

diff --git a/helm/software/components/ng_kernel/oCic2NCic.ml b/helm/software/components/ng_kernel/oCic2NCic.ml
index 6987bb7eb..b1b08ee3c 100644
--- 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 ([],[])