add zarith_stubs_js to dune-project

UQ-PAC · Jul 1, 2024 · 56e3639 · 56e3639
1 parent 0124695
commit 56e3639
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/asli.opam b/asli.opam
@@ -23,6 +23,7 @@ depends: [
   "linenoise"
   "pprint"
   "zarith"
+  "zarith_stubs_js"
   "z3" {>= "4.8.7"}
   "alcotest" {with-test}
   "ppx_blob"

diff --git a/dune-project b/dune-project
@@ -21,6 +21,7 @@
     "linenoise"
     "pprint"
     "zarith"
+    "zarith_stubs_js"
     ("z3"        (>= "4.8.7"))
     ("alcotest"  :with-test)
     "ppx_blob"