Merge pull request #54 from Wasm-DSL/fix.bound_prem

Fix bound variables for premises
Wasm-DSL · Jan 19, 2024 · 0538ee0 · 0538ee0
2 parents 9ff4a91 + 019ace3
commit 0538ee0
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 *)