diff options
Diffstat (limited to 'src/PureUtils.ml')
| -rw-r--r-- | src/PureUtils.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/PureUtils.ml b/src/PureUtils.ml index cfc8a270..2a56b6e0 100644 --- a/src/PureUtils.ml +++ b/src/PureUtils.ml @@ -251,8 +251,11 @@ let functions_not_mutually_recursive (funs : fun_decl list) : bool = in try - obj#visit_texpression () fdef.body; - true + match fdef.body with + | None -> true + | Some body -> + obj#visit_texpression () body.body; + true with Utils.Found -> false in List.for_all body_only_calls_itself funs |