diff options
author | Son Ho | 2022-10-27 18:17:41 +0200 |
---|---|---|
committer | Son HO | 2022-10-28 17:41:04 +0200 |
commit | cdaa37670587dadda92ddab076170eb6d8e237cd (patch) | |
tree | 4b19c44471774279bacdd55d4cc69665241351fd /compiler/Interpreter.ml | |
parent | e286c339cf40c6fa4fee2b910af47ffcc34613fe (diff) |
Take care of some TODOs
Diffstat (limited to '')
-rw-r--r-- | compiler/Interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml index 7f51c5b9..f93a0ae1 100644 --- a/compiler/Interpreter.ml +++ b/compiler/Interpreter.ml @@ -137,7 +137,7 @@ let evaluate_function_symbolic_synthesize_backward_from_return * will end - this will allow us to, first, mark the other return * regions as non-endable, and, second, end those parent regions in * proper order. *) - let parent_rgs = list_parent_region_groups sg back_id in + let parent_rgs = list_ancestor_region_groups sg back_id in let parent_input_abs_ids = T.RegionGroupId.mapi (fun rg_id rg -> |