diff options
author | Son Ho | 2022-03-03 13:20:26 +0100 |
---|---|---|
committer | Son Ho | 2022-03-03 13:20:26 +0100 |
commit | 90195f830788f53d214754a732bd094247a91c70 (patch) | |
tree | 4f5d2c748e61e06008e77430b29e5da513c4b8bd /src/PureMicroPasses.ml | |
parent | df04dee24f1c83998aa314382f70e3961def8f10 (diff) |
Rename CFIM to LLBC
Diffstat (limited to '')
-rw-r--r-- | src/PureMicroPasses.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/PureMicroPasses.ml b/src/PureMicroPasses.ml index c1cacac5..b110f829 100644 --- a/src/PureMicroPasses.ml +++ b/src/PureMicroPasses.ml @@ -504,11 +504,11 @@ let expression_contains_child_call_in_all_paths (ctx : trans_ctx) (call0 : call) (* We need to use the regions hierarchy *) (* First, lookup the signature of the CFIM function *) let sg = - CfimAstUtils.lookup_fun_sig id0 ctx.fun_context.fun_decls + LlbcAstUtils.lookup_fun_sig id0 ctx.fun_context.fun_decls in (* Compute the set of ancestors of the function in call1 *) let call1_ancestors = - CfimAstUtils.list_parent_region_groups sg rg_id1 + LlbcAstUtils.list_parent_region_groups sg rg_id1 in (* Check if the function used in call0 is inside *) T.RegionGroupId.Set.mem rg_id0 call1_ancestors |