From 56e3639400d9a5d33b398a11cb117d9d847bd6a6 Mon Sep 17 00:00:00 2001
From: rina <k@rina.fyi>
Date: Mon, 1 Jul 2024 11:16:36 +1000
Subject: [PATCH] add zarith_stubs_js to dune-project

---
 asli.opam    | 1 +
 dune-project | 1 +
 2 files changed, 2 insertions(+)

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"