From 019ace3ee94030ef42b681a850d4dcdd2c4854cd Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Fri, 19 Jan 2024 11:20:21 +0000
Subject: [PATCH] Fix bound variables for premises

---
 spectec/src/el/free.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spectec/src/el/free.ml b/spectec/src/el/free.ml
index 9761fbc84d..7c9c287dc1 100644
--- a/spectec/src/el/free.ml
+++ b/spectec/src/el/free.ml
@@ -221,7 +221,7 @@ and bound_prem prem =
   | RulePr (_id, e) -> free_exp e
   | IfPr e -> bound_exp e
   | ElsePr -> empty
-  | IterPr (prem1, _iter) -> bound_prem prem1
+  | IterPr (prem1, iter) -> union (bound_prem prem1) (bound_iter iter)
 
 
 (* Grammars *)