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

let get_checked_obj nuri =
  let ouri = NUriManager.ouri_of_nuri nuri in
  let o,_ = 
    CicEnvironment.get_cooked_obj ~trust:false CicUniv.oblivion_ugraph 
      ouri 
  in
    OCic2NCic.convert_obj o