diff options
Diffstat (limited to 'compiler/InterpreterLoops.ml')
| -rw-r--r-- | compiler/InterpreterLoops.ml | 8 |
1 files changed, 2 insertions, 6 deletions
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 |