(fixes a lot of CicUtil.Meta_not_found spurious exceptions)
let type_of_aux' ?(subst = []) metasenv context t =
let logger = new CicLogger.logger in
let type_of_aux' ?(subst = []) metasenv context t =
let logger = new CicLogger.logger in
- type_of_aux' ~logger metasenv context t
+ type_of_aux' ~logger ~subst metasenv context t
let typecheck_mutual_inductive_defs uri (itl, uris, indparamsno) =
let logger = new CicLogger.logger in
let typecheck_mutual_inductive_defs uri (itl, uris, indparamsno) =
let logger = new CicLogger.logger in