From 685c9859c257767228b98c256eb219c0d12c2884 Mon Sep 17 00:00:00 2001
From: Abhishek Anand <abhishek.anand.iitg@gmail.com>
Date: Thu, 23 Dec 2021 16:59:32 -0500
Subject: [PATCH] fixed compilation error

---
 theories/Tactics/Forward.v | 1 +
 1 file changed, 1 insertion(+)

diff --git a/theories/Tactics/Forward.v b/theories/Tactics/Forward.v
index 70e8db5..29ba877 100644
--- 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