Update engine/hax-engine.opam

Co-authored-by: Franziskus Kiefer <[email protected]>
hacspec · May 14, 2024 · 950580e · 950580e
1 parent c42dbe0
commit 950580e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"] {}
-]
+]