Skip to content

Commit 808dbd8

Browse files
fix(comment): review suggestion
Co-authored-by: Stefano Garzarella <sgarzare@redhat.com> Signed-off-by: Siddharth Priya <s2priya@uwaterloo.ca>
1 parent 02f4c78 commit 808dbd8

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

virtio-queue/Cargo.toml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25,9 +25,7 @@ memoffset = "0.9.0"
2525

2626
# The following deps are needed only under kani
2727
[target.'cfg(kani)'.dependencies]
28-
# libc is needed to setup flags for MmapRegionStub
2928
libc = "0.2.161"
30-
# additional backends for setting up MmapRegionStub
3129
vm-memory = { workspace = true, features = ["backend-mmap", "backend-bitmap", "backend-atomic"] }
3230

3331
[[bench]]

0 commit comments

Comments
 (0)