- ("Appl: wrong parameter-type, expected\n%s\nfound\n%s")
- (NCicPp.ppterm ~subst ~metasenv ~context s)
- (NCicPp.ppterm ~subst ~metasenv ~context ty_arg))))
+ ("Appl: wrong application of %s: the parameter %s has type"^^
+ "\n%s\nbut is should have type \n%s\n")
+ (NCicPp.ppterm ~subst ~metasenv ~context he)
+ (NCicPp.ppterm ~subst ~metasenv ~context arg)
+ (NCicPp.ppterm ~subst ~metasenv ~context ty_arg)
+ (NCicPp.ppterm ~subst ~metasenv ~context s))))