diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/typestate.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/boot/me/typestate.ml b/src/boot/me/typestate.ml index 1c9c90ea..8b7840a2 100644 --- a/src/boot/me/typestate.ml +++ b/src/boot/me/typestate.ml @@ -865,6 +865,11 @@ let rec build_flow_graph_for_stmt | Ast.STMT_block b -> blk predecessors b + | Ast.STMT_fail + | Ast.STMT_ret _ -> + connect predecessors [s.id]; + [] + | _ -> connect predecessors [s.id]; [s.id] |