Set the universe context in Ssrequality.rwargtac instead of merging.
Set the universe context in Ssrequality.rwargtac instead of merging.

We statically know that the evarmaps are actual extensions of the base
evarmap, so merging there universe context is equivalent to simply setting it.

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