Tentative d'amélioration du message d'erreur en cas de paramètre non laissé implicite dans une clause "in".
Tentative d'amélioration du message d'erreur en cas de paramètre non laissé
implicite dans une clause "in".


git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@9174 85f007b7-540e-0410-9357-904b9bb8a0f7

mattam82/coq,ppedrot/coq,Matafou/coq,shindere/coq,Lionel-Rieg/coq,asr/coq,TOSPIO/coq,Zimmi48/coq,jhjourdan/coq,Zimmi48/coq,amintimany/coq,letouzey/coq-wip,JasonGross/coq,aspiwack/coq,gares/coq,pirapira/coq2rust,ejgallego/coq,Matafou/coq,barras/coq,letouzey/coq-wip,pirapira/coq2rust,pirbo/coq,8l/coq,mlasson/coq,ejgallego/coq,Ptival/coq,jpdeplaix/coq,8l/coq,mlasson/coq,coq/coq,pirapira/coq2rust,barras/coq,gares/coq,mattam82/Coq-misc,letouzey/coq-wip,shindere/coq,letouzey/coq-wip,jhjourdan/coq,ejgallego/coq,maximedenes/coq,amintimany/coq,tomprince/coq,Lionel-Rieg/coq,herbelin/github-coq,shindere/coq,maximedenes/coq,gares/coq,aspiwack/coq,jpdeplaix/coq,letouzey/coq-wip,gares/coq,Zimmi48/coq,JasonGross/coq,gmalecha/coq,william-lawvere/coq,ale-f/coq,gmalecha/coq,asr/coq,TheTypoMaster/coq,TheTypoMaster/coq,pirbo/coq,ppedrot/coq,william-lawvere/coq,ppedrot/coq,SkySkimmer/coq,aspiwack/coq,gares/coq,maximedenes/coq,Matafou/coq,jhjourdan/coq,Ptival/coq,Zimmi48/coq,mattam82/coq,JasonGross/coq,maximedenes/coq,TOSPIO/coq,william-lawvere/coq,silene/coq,Ptival/coq,silene/coq,mattam82/coq,tomprince/coq,ppedrot/coq,silene/coq,SkySkimmer/coq,Lionel-Rieg/coq,herbelin/github-coq,mlasson/coq,herbelin/github-coq,ejgallego/coq,pirbo/coq,coq/coq,herbelin/coq-hh,maximedenes/coq,mattam82/Coq-misc,ppedrot/coq,ale-f/coq,coq/coq,ale-f/coq,amintimany/coq,8l/coq,JasonGross/coq,gmalecha/coq,coq/coq,asr/coq,jpdeplaix/coq,herbelin/coq-hh,tomprince/coq,SkySkimmer/coq,barras/coq,SkySkimmer/coq,TOSPIO/coq,TheTypoMaster/coq