Correction bug dans détection clause "in" mal formée quand le "in" est donné alors même qu'il n'est pas utile car ne lie aucun argument.
Correction bug dans détection clause "in" mal formée quand le "in" est
donné alors même qu'il n'est pas utile car ne lie aucun argument.


git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@9173 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq