Undo last; only remove that line

cryspen · Jan 23, 2024 · fde5d69 · fde5d69
1 parent 597953c
commit fde5d69
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/tests/proverif-noise/Cargo.toml b/tests/proverif-noise/Cargo.toml
@@ -7,9 +7,6 @@ license = "MIT OR Apache-2.0"
 description = "hacspec chacha20 poly1305 authenticated encryption"
 readme = "README.md"
 
-[lib]
-git = "https://github.com/hacspec/specs"
-
 [dependencies]
 hacspec-lib = { git = "https://github.com/hacspec/hacspec.git" }
 hacspec-chacha20 = { git = "https://github.com/hacspec/specs", version = "0.1.0" }