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

Ltac clear_all :=
  clear;
  repeat match goal with
         | [ H : _ |- _ ] => clear H
         end.