Removing debugging warning when no exception handler is registered in futures.
Removing debugging warning when no exception handler is registered in futures.

As far as I understood, this was useful for tine-tuning the stm but
this is no longuer needed: it is ok not to have exception handler when
a constant registration does not span over several commands (such as
"Goal ... Qed" or obligations).

ejgallego/coq,Zimmi48/coq,silene/coq,gares/coq,gares/coq,gares/coq,JasonGross/coq,ppedrot/coq,gares/coq,Zimmi48/coq,ejgallego/coq,Matafou/coq,Zimmi48/coq,SkySkimmer/coq,gares/coq,SkySkimmer/coq,SkySkimmer/coq,ppedrot/coq,Matafou/coq,coq/coq,silene/coq,coq/coq,ppedrot/coq,coq/coq,Matafou/coq,ppedrot/coq,ppedrot/coq,JasonGross/coq,ejgallego/coq,JasonGross/coq,SkySkimmer/coq,ejgallego/coq,silene/coq,JasonGross/coq,Zimmi48/coq,coq/coq