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

Ltac subst_evars :=
  repeat match goal with
         | [ e := ?E |- _ ] => is_evar E; subst e
         end.