diff options
author | Son Ho | 2022-01-27 10:52:57 +0100 |
---|---|---|
committer | Son Ho | 2022-01-27 10:52:57 +0100 |
commit | 2c9f43840c7c2721d8fab9981ecac9cc0e6fafd5 (patch) | |
tree | 8950eb9824ce5c7a3acc7dff6bb8d8a1ca453c33 /src/CfimAstUtils.ml | |
parent | 5e71d58da8b232cc53989f45c35f5017ae57cc77 (diff) |
Fix a small issue in translate_back_ty
Diffstat (limited to 'src/CfimAstUtils.ml')
-rw-r--r-- | src/CfimAstUtils.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/CfimAstUtils.ml b/src/CfimAstUtils.ml index 430678f1..8ef74bef 100644 --- a/src/CfimAstUtils.ml +++ b/src/CfimAstUtils.ml @@ -21,6 +21,8 @@ let fun_def_has_loops (fd : fun_def) : bool = statement_has_loops fd.body (** Small utility: list the transitive parents of a region var group. We don't do that in an efficient manner, but it doesn't matter. + + TODO: rename to "list_ancestors_..." *) let rec list_parent_region_groups (sg : fun_sig) (gid : T.RegionGroupId.id) : T.RegionGroupId.Set.t = |