diff options
Diffstat (limited to 'src/PrePasses.ml')
-rw-r--r-- | src/PrePasses.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/PrePasses.ml b/src/PrePasses.ml index 9b1a6990..dda3c867 100644 --- a/src/PrePasses.ml +++ b/src/PrePasses.ml @@ -42,7 +42,11 @@ let filter_drop_assigns (f : A.fun_decl) : A.fun_decl = end in (* Map *) - let body = obj#visit_statement () f.body in + let body = + match f.body with + | Some body -> Some { body with body = obj#visit_statement () body.body } + | None -> None + in { f with body } let apply_passes (m : M.llbc_module) : M.llbc_module = |