X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicEnvironment.ml;h=02b3baab68e414f102277ea362d68df17323e4db;hb=6beaf573e5639ddba6b55488e44aa6d4f298b052;hp=8d0ae1a4f9e7e1a86225a23f2e5866fee1b8e3c0;hpb=b7535cd20248c564e942cc4e9058d34fbb062c6f;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index 8d0ae1a4f..02b3baab6 100644
--- a/helm/software/components/ng_kernel/nCicEnvironment.ml
+++ b/helm/software/components/ng_kernel/nCicEnvironment.ml
@@ -7,7 +7,8 @@ let get_checked_obj u =
     let o,_ = 
       CicEnvironment.get_cooked_obj ~trust:false CicUniv.oblivion_ugraph 
         ouri in
-    let no,_ = OCic2NCic.convert_obj ouri o in
+    (* FIX: add all objects to the environment and give back the last one *)
+    let no = HExtlib.list_last (OCic2NCic.convert_obj ouri o) in
     NUri.UriHash.add cache u no;
     no
 ;;