diff --git a/hax-lib-protocol/Cargo.toml b/hax-lib-protocol/Cargo.toml
index 0b2dc5e28..e442033b1 100644
--- a/hax-lib-protocol/Cargo.toml
+++ b/hax-lib-protocol/Cargo.toml
@@ -12,4 +12,4 @@ readme.workspace = true
 libcrux = "0.0.2-pre.2"
 
 [package.metadata.release]
-release = false
\ No newline at end of file
+release = false