Fixed error message "cannot infer the type of id" in presence of notations for binders (the name of the notation was mistakenly taken). This happened e.g. when using Utf8.v.
Fixed error message "cannot infer the type of id" in presence of
notations for binders (the name of the notation was mistakenly
taken). This happened e.g. when using Utf8.v.



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

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