From 54caed2897e42509f0d6a7303e0bf36e3da06c99 Mon Sep 17 00:00:00 2001 From: Patrick Roy Date: Fri, 20 Oct 2023 11:07:49 +0100 Subject: [PATCH] fix: Downgrade wrongly placed doc coment to normal comment Kani, running using nightly rustc, was warning about this comment. Fix it to resolve the warning during verification, to get slightly cleaner logs. Signed-off-by: Patrick Roy --- src/vmm/src/vmm_config/net.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vmm/src/vmm_config/net.rs b/src/vmm/src/vmm_config/net.rs index 00dcc535460..5c2e3870f51 100644 --- a/src/vmm/src/vmm_config/net.rs +++ b/src/vmm/src/vmm_config/net.rs @@ -84,7 +84,7 @@ impl NetBuilder { /// Creates an empty list of Network Devices. pub fn new() -> Self { NetBuilder { - /// List of built network devices. + // List of built network devices. net_devices: Vec::new(), } }