pretty printer on steroids

[helm.git] / helm / software / components / ng_kernel / rt.ml

diff --git a/helm/software/components/ng_kernel/rt.ml b/helm/software/components/ng_kernel/rt.ml
index 89e863ffc27c095cd72c21b7f6c5f869daeeb819..cc4d5dd33e04e803bc0f4cd17ff1b2be408e77a2 100644 (file)
--- 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:.........................................";