| C.Cast (v,t) -> C.Cast (aux v, aux t)
| C.Prod (b,s,t) -> C.Prod (b,aux s, aux t)
| C.Lambda (b,s,t) -> C.Lambda (b,aux s, aux t)
- | C.LetIn (b,s,t) -> C.LetIn (b,aux s, aux t)
+ | C.LetIn (b,s,ty,t) -> C.LetIn (b,aux s, aux ty, aux t)
| C.Appl li -> C.Appl (List.map aux li)
| C.MutCase (uri,n1,ty,te,patterns) ->
C.MutCase (uri,n1,aux ty,aux te, List.map aux patterns)