fixed compilation error

coq-community · Jan 10, 2024 · 685c985 · 685c985
1 parent 5713ab9
commit 685c985
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/theories/Tactics/Forward.v b/theories/Tactics/Forward.v
@@ -24,6 +24,7 @@ Ltac rwHyps :=
            | context [l] => idtac
            | _ => rewrite -> H
            end
+         end.
 
 Ltac rwHypsR :=
   repeat match goal with