Fixed small name freshness bug in Functional Scheme ("Heq" name was not refreshed late enough).
Fixed small name freshness bug in Functional Scheme ("Heq" name was
not refreshed late enough).


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

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