Skip to content

Commit 4eb58f6

Browse files
committed
Format
1 parent 25f2b86 commit 4eb58f6

1 file changed

Lines changed: 3 additions & 4 deletions

File tree

analysis/reanalyze/src/Arnold.ml

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -967,14 +967,13 @@ module Compile = struct
967967
| Texp_tuple expressions | Texp_array expressions ->
968968
expressions |> List.map (expression ~ctx) |> Command.unorderedSequence
969969
| Texp_assert _ -> Command.nothing
970-
| Texp_try (e, cases, finally_expr) ->
970+
| Texp_try (e, cases, finally_expr) -> (
971971
let cE = e |> expression ~ctx in
972972
let cCases = cases |> List.map (case ~ctx) |> Command.nondet in
973973
let open Command in
974-
begin match finally_expr with
974+
match finally_expr with
975975
| Some finally -> cE +++ cCases +++ (finally |> expression ~ctx)
976-
| None -> cE +++ cCases
977-
end
976+
| None -> cE +++ cCases)
978977
| Texp_variant (_label, eOpt) -> eOpt |> expressionOpt ~ctx
979978
| Texp_while _ ->
980979
notImplemented "Texp_while";

0 commit comments

Comments
 (0)