diff options
Diffstat (limited to 'crates/Cargo.lock')
-rw-r--r-- | crates/Cargo.lock | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/crates/Cargo.lock b/crates/Cargo.lock index 843d740..33f18cf 100644 --- a/crates/Cargo.lock +++ b/crates/Cargo.lock @@ -307,7 +307,6 @@ dependencies = [ "proptest", "static_assertions", "vernos_physmem_free_list", - "vernos_utils", ] [[package]] @@ -319,13 +318,6 @@ dependencies = [ ] [[package]] -name = "vernos_utils" -version = "0.1.0" -dependencies = [ - "contracts", -] - -[[package]] name = "winapi" version = "0.3.9" source = "registry+https://github.com/rust-lang/crates.io-index" |