CoqIDE: remove useless print
CoqIDE: remove useless print

There is little point in telling the user the error report is sub optimal.

In this particular case, such error has already been reported (on
the correct location)  so reminding it in a non-localized way is not
even that bad.

letouzey/coq-wip,Lionel-Rieg/coq,coq/coq,gares/coq,coq/coq,maximedenes/coq,ejgallego/coq,Matafou/coq,gares/coq,silene/coq,Ptival/coq,maximedenes/coq,amintimany/coq,JasonGross/coq,coq/coq,Matafou/coq,gares/coq,Matafou/coq,letouzey/coq-wip,ejgallego/coq,maximedenes/coq,ppedrot/coq,amintimany/coq,mattam82/coq,maximedenes/coq,JasonGross/coq,ppedrot/coq,gares/coq,silene/coq,coq/coq,Zimmi48/coq,JasonGross/coq,SkySkimmer/coq,Ptival/coq,william-lawvere/coq,Zimmi48/coq,SkySkimmer/coq,ppedrot/coq,letouzey/coq-wip,ejgallego/coq,william-lawvere/coq,SkySkimmer/coq,letouzey/coq-wip,SkySkimmer/coq,william-lawvere/coq,ppedrot/coq,gares/coq,Zimmi48/coq,JasonGross/coq,ejgallego/coq,amintimany/coq,mattam82/coq,Ptival/coq,mattam82/coq,Lionel-Rieg/coq,maximedenes/coq,ppedrot/coq,letouzey/coq-wip,Lionel-Rieg/coq,Zimmi48/coq,silene/coq