Took local definitions into account in the test for deciding whether the return clause of match is printed.
Took local definitions into account in the test for deciding whether
the return clause of match is printed.



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

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