fix: missing newlines

Co-authored-by: Franziskus Kiefer <[email protected]>
hacspec · Oct 10, 2024 · 8d58752 · 8d58752
1 parent 6a21846
commit 8d58752
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/engine/names/Cargo.toml b/engine/names/Cargo.toml
@@ -14,4 +14,4 @@ hax-lib-protocol = {path = "../../hax-lib-protocol"}
 hax-lib = {path = "../../hax-lib"}
 
 [package.metadata.release]
-release = false
+release = false
diff --git a/engine/names/extract/Cargo.toml b/engine/names/extract/Cargo.toml
@@ -26,4 +26,4 @@ extract_names_mode = []
 unexpected_cfgs = { level = "warn", check-cfg = ['cfg(feature, values("rustc"))'] }
 
 [package.metadata.release]
-release = false
+release = false
diff --git a/hax-lib-protocol-macros/Cargo.toml b/hax-lib-protocol-macros/Cargo.toml
@@ -23,4 +23,4 @@ syn = { version = "2.0", features = [
 ] }
 
 [package.metadata.release]
-release = false
+release = false
diff --git a/test-harness/Cargo.toml b/test-harness/Cargo.toml
@@ -27,4 +27,4 @@ regex = "1"
 hax-types.workspace = true
 
 [package.metadata.release]
-release = false
+release = false