let ty_set = Constr.constants_of ty in
let hyp_set = signature_of_hypothesis context metasenv in
let set = Constr.UriManagerSet.union ty_set hyp_set in
- close_with_constructors (close_with_types set metasenv context)
+ close_with_types
+ (close_with_constructors (close_with_types set metasenv context)
+ metasenv context)
metasenv context