path: root/src/Util/Tactics/SetEvars.v

Ltac set_evars :=
  repeat match goal with
         | [ |- context[?E] ] => is_evar E; let e := fresh "e" in set (e := E)
         end.