From 20332f3faa5e1205602c946f1c7abb9b6660e6f0 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 14 Dec 2022 18:25:49 +0100
Subject: Add a `Loop` node in the pure AST

---
 compiler/InterpreterLoops.ml | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'compiler/InterpreterLoops.ml')

diff --git a/compiler/InterpreterLoops.ml b/compiler/InterpreterLoops.ml
index 48292968..29e68ca0 100644
--- a/compiler/InterpreterLoops.ml
+++ b/compiler/InterpreterLoops.ml
@@ -3061,12 +3061,8 @@ let match_ctx_with_target (config : C.config) (loop_id : V.LoopId.id)
     in
     let cc = InterpreterBorrows.end_borrows config new_borrows in
 
-    (* List the loop input values - when iterating over a map, we iterate
-       over the keys, in increasing order *)
-    let input_values =
-      List.map snd
-        (V.SymbolicValueId.Map.bindings tgt_to_src_maps.sid_to_value_map)
-    in
+    (* Compute the loop input values *)
+    let input_values = tgt_to_src_maps.sid_to_value_map in
 
     (* Continue *)
     cc
-- 
cgit v1.2.3