Fix bound variables for premises

Wasm-DSL · Jan 19, 2024 · 019ace3 · 019ace3
1 parent 9ff4a91
commit 019ace3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 *)