diff --git a/engine/hax-engine.opam b/engine/hax-engine.opam
index dfa6b8be5..72ba3a4c3 100644
--- a/engine/hax-engine.opam
+++ b/engine/hax-engine.opam
@@ -60,4 +60,4 @@ build: [
 dev-repo: "git+https://github.com/hacspec/hax.git"
 depexts: [
   ["nodejs"] {}
-]
\ No newline at end of file
+]