diff --git a/asli.opam b/asli.opam
index 4a09e8ae..aa2b5324 100644
--- 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
index f57814cc..f7ec7691 100644
--- 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"