| Cic.Cast (te,ty) -> check_rec ctx string_name te
| Cic.Prod (name,so,dest) ->
let l_string_name = check_rec ctx string_name so in
- check_rec (name::ctx) string_name dest
+ check_rec (name::ctx) l_string_name dest
| Cic.Lambda (name,so,dest) ->
let string_name =
match name with