Removing the last global evar generation in Term_dnet. The very fact that the previous implementation was working is still black magic to me, as evars may have collided in intriguing ways...
Removing the last global evar generation in Term_dnet. The very
fact that the previous implementation was working is still black
magic to me, as evars may have collided in intriguing ways...

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

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