Use a simpler reference equality in ssreflect.
Use a simpler reference equality in ssreflect.

Every call to eq_constr_nounivs reeks of paranormal activity.

coq/coq,Zimmi48/coq,SkySkimmer/coq,Zimmi48/coq,Zimmi48/coq,ejgallego/coq,ejgallego/coq,coq/coq,SkySkimmer/coq,Zimmi48/coq,coq/coq,ejgallego/coq,ejgallego/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq