Update albatross.ml

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