let rec aux = function
| Cic.Lambda (_, Cic.Meta (i,_), t) when
List.exists (fun (j,_,_) -> j = i) metasenv ->
- CicSubstitution.subst (Cic.Rel ~-100) t
+ aux (CicSubstitution.subst (Cic.Rel ~-100) t)
| Cic.Lambda (name, s, t) ->
Cic.Lambda (name, s, aux t)
| t -> t