let typecheck_obj ~logger uri obj =
let ugraph = typecheck_obj0 ~logger uri CicUniv.empty_ugraph obj in
- let ugraph, univlist = CicUnivUtils.clean_and_fill uri obj ugraph in
+ let ugraph, univlist, obj = CicUnivUtils.clean_and_fill uri obj ugraph in
CicEnvironment.add_type_checked_obj uri (obj,ugraph,univlist)
(** wrappers which instantiate fresh loggers *)