Merge branch 'policy_' of github.com:robur-coop/mollymawk into policy_

robur-coop · Oct 1, 2024 · 02d21d5 · 02d21d5
2 parents 1fcf02b + 0819340
commit 02d21d5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/albatross_json.ml b/albatross_json.ml
@@ -207,9 +207,9 @@ let policy_of_json js =
                      (String.split_on_char ',' bridges));
             }
           in
-          match Vmm_core.Policy.usable policy with
-          | Ok () -> Ok policy
-          | Error (`Msg err) -> Error (`Msg err))
+          let ( let* ) = Result.bind in
+          let* () = Vmm_core.Policy.usable policy in
+          Ok policy
       | _ ->
           Error
             (`Msg