Bug discharge d'une déclaration de coercion pour une constante non définie dans la section courante
Bug discharge d'une déclaration de coercion pour une constante non définie dans la section courante


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

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