Update engine/hax-engine.opam

Co-authored-by: Franziskus Kiefer <[email protected]>
hacspec · May 14, 2024 · 68b4bc9 · 68b4bc9
1 parent 725f78b
commit 68b4bc9
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"] {}
-]
+]