diff --git a/albatross.ml b/albatross.ml index 497a101..08f461b 100644 --- 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 =