From 08193408194d95e5e41dd7bee3d9fdc3dc0400bc Mon Sep 17 00:00:00 2001
From: PixieDust <111846546+PizieDust@users.noreply.github.com>
Date: Tue, 1 Oct 2024 16:29:49 +0200
Subject: [PATCH] Update albatross_json.ml

Co-authored-by: Hannes Mehnert <hannes@mehnert.org>
---
 albatross_json.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/albatross_json.ml b/albatross_json.ml
index 26a142d..52b7de8 100644
--- 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