From 6d51eb707bf3a6259b2d1733aab10127a638cd90 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Thu, 1 Sep 2022 09:30:46 +0200
Subject: [PATCH] minor: silence warnings

---
 mirage/unikernel.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mirage/unikernel.ml b/mirage/unikernel.ml
index 7d8a49c..0600c4f 100644
--- a/mirage/unikernel.ml
+++ b/mirage/unikernel.ml
@@ -141,8 +141,8 @@ module Make
           in
           let url =
             match url, archive with
-            | Some { pelem = Variable (_, { pelem = String url ; _ }) }, None -> Some url
-            | None, Some { pelem = Variable (_, { pelem = String url ; _ }) } -> Some url
+            | Some { pelem = Variable (_, { pelem = String url ; _ }) ; _ }, None -> Some url
+            | None, Some { pelem = Variable (_, { pelem = String url ; _ }); _ } -> Some url
             | _ ->
               Logs.warn (fun m -> m "%s neither src nor archive present" filename); None
           in