X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicUtils.ml;h=213c0457a5d88ab82ee155d5dfcd4cac20214018;hb=9e286f733eec5b192c43c9f9f4450bcf6ae42bac;hp=1d43c2cbc3a69e18e18916a354f5ff9040859cd3;hpb=dac4721470c5db03f4291adfb4f73e2016040d4b;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicUtils.ml b/helm/software/components/ng_kernel/nCicUtils.ml
index 1d43c2cbc..213c0457a 100644
--- a/helm/software/components/ng_kernel/nCicUtils.ml
+++ b/helm/software/components/ng_kernel/nCicUtils.ml
@@ -30,10 +30,10 @@ let lookup_subst n subst =
   with Not_found -> raise (Subst_not_found n)
 ;;
 
-let lookup_meta index metasenv =
+let lookup_meta n metasenv =
   try
-    List.find (fun (index', _, _, _) -> index = index') metasenv
-  with Not_found -> raise (Meta_not_found index)
+    List.assoc n metasenv
+  with Not_found -> raise (Meta_not_found n)
 ;;
 
 let fold g k f acc = function