diff options
Diffstat (limited to 'src/FunsAnalysis.ml')
| -rw-r--r-- | src/FunsAnalysis.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/FunsAnalysis.ml b/src/FunsAnalysis.ml index 427175de..3a6ad542 100644 --- a/src/FunsAnalysis.ml +++ b/src/FunsAnalysis.ml @@ -104,6 +104,8 @@ let analyze_module (m : llbc_module) (funs_map : fun_decl FunDeclId.Map.t) * syntactically can't fail don't use an error monad. *) in List.iter visit_fun d; + (* Not-failing functions are not handled yet. *) + can_fail := true; { can_fail = !can_fail; stateful = !stateful; divergent = !divergent } in |