chore: Enclose the […get_reflexive_proof_ssr…] call in a try/with->assert false
chore: Enclose the […get_reflexive_proof_ssr…] call in a try/with->assert false

as suggested by @gares (the Not_found exc may be catched by coq/ssr otherwise).

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