Update albatross.ml

Co-authored-by: Hannes Mehnert <[email protected]>
robur-coop · Oct 1, 2024 · 5310a1c · 5310a1c
1 parent 3addb82
commit 5310a1c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/albatross.ml b/albatross.ml
@@ -16,7 +16,7 @@ struct
         vms = 0;
         cpuids = Vmm_core.IS.empty;
         memory = 0;
-        block = Some 0;
+        block = None;
         bridges = Vmm_core.String_set.empty;
       }