X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2Frt.ml;fp=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2Frt.ml;h=cc4d5dd33e04e803bc0f4cd17ff1b2be408e77a2;hb=3199f380051c1475c8e376f5cad44433044747e7;hp=89e863ffc27c095cd72c21b7f6c5f869daeeb819;hpb=beac0e2f104073b8a037c4259134ad8cfb441d29;p=helm.git

diff --git a/helm/software/components/ng_kernel/rt.ml b/helm/software/components/ng_kernel/rt.ml
index 89e863ffc..cc4d5dd33 100644
--- a/helm/software/components/ng_kernel/rt.ml
+++ b/helm/software/components/ng_kernel/rt.ml
@@ -6,6 +6,8 @@ let _ =
   prerr_endline "VECCHIO";
   prerr_endline (CicPp.ppobj o);
   let l = OCic2NCic.convert_obj u o in
+  (* fill the new env *)
+  let _ = NCicEnvironment.get_obj (NUri.nuri_of_ouri u) in
   prerr_endline "OGGETTI:.........................................";
   List.iter (fun o -> prerr_endline (NCicPp.ppobj o)) l;
   prerr_endline "/OGGETTI:.........................................";