rasimpl: add one repeat

TheoWinterhalter · Jul 30, 2024 · 42c3741 · 42c3741
1 parent bbb4ebc
commit 42c3741
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/SubstNotations.v b/theories/SubstNotations.v
@@ -735,7 +735,7 @@ Ltac setoid_rasimpl1_t t :=
 Ltac rasimpl1_aux tac g :=
   let rec aux t :=
     first [
-      progress (tac t)
+      progress (repeat (tac t))
     | lazymatch t with
       | subst_cterm ?s _ => aux s
       | ren_cterm ?r _ => aux r