idref (Ast.Ident (name,None))
with Failure "nth" | Invalid_argument "List.nth" ->
idref (Ast.Ident ("-" ^ string_of_int (n - List.length ctx),None)))
- | NCic.Const r -> idref (Ast.Ident (NCicPp.r2s false r, None))
+ | NCic.Const r -> idref (Ast.Ident (NCicPp.r2s true r, None))
| NCic.Meta (n,lc) when List.mem_assoc n subst ->
let _,_,t,_ = List.assoc n subst in
k ctx (NCicSubstitution.subst_meta lc t)