Fix compile error

kaist-plrg · Jul 22, 2024 · 5078c02 · 5078c02
1 parent f47031c
commit 5078c02
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/spectec/src/il2al/translate.ml b/spectec/src/il2al/translate.ml
@@ -587,7 +587,7 @@ and handle_iter_lhs lhs rhs free_ids =
     expr
     |> free_expr
     |> IdSet.inter (IdSet.of_list iter_ids)
-    |> IdSet.to_list
+    |> IdSet.elements
   in
   let walk_expr (walker: Walk.walker) (expr: expr): expr =
     if contains_ids iter_ids expr then