We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5c7112e commit 4824890Copy full SHA for 4824890
plugins/resolve_indirects/resolve_indirects_main.ml
@@ -17,11 +17,11 @@ let resolver memory = object
17
| _ -> exp
18
end
19
20
-let main proj =
+let main proj =
21
let prog = Project.program proj in
22
let memory = Project.memory proj in
23
- Term.map sub_t prog ~f:(fun sub ->
24
- Term.map blk_t sub ~f:(fun blk ->
+ Term.map sub_t prog ~f:(fun sub ->
+ Term.map blk_t sub ~f:(fun blk ->
25
Blk.map_exp blk ~f:(Exp.map (resolver memory)))) |>
26
Project.with_program proj
27
0 commit comments