Update albatross.ml

Co-authored-by: Hannes Mehnert <[email protected]>
robur-coop · Oct 1, 2024 · a0434c0 · a0434c0
1 parent 46a29fc
commit a0434c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/albatross.ml b/albatross.ml
@@ -14,7 +14,7 @@ struct
     Vmm_core.Policy.
       {
         vms = 0;
-        cpuids = Vmm_core.IS.of_list [];
+        cpuids = Vmm_core.IS.empty;
         memory = 0;
         block = Some 0;
         bridges = Vmm_core.String_set.of_list [];