Do not call evars_reset_evd in the instantiate tactic.
Do not call evars_reset_evd in the instantiate tactic.

This was likely a remnant of a time where the w_refine tactic was not
implemented with evars but with the legacy unification algorith.

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