diff --git a/asli.opam b/asli.opam
index aa2b5324..4a09e8ae 100644
--- a/asli.opam
+++ b/asli.opam
@@ -23,7 +23,6 @@ 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 f7ec7691..f57814cc 100644
--- a/dune-project
+++ b/dune-project
@@ -21,7 +21,6 @@
     "linenoise"
     "pprint"
     "zarith"
-    "zarith_stubs_js"
     ("z3"        (>= "4.8.7"))
     ("alcotest"  :with-test)
     "ppx_blob"
diff --git a/libASL/support/web/dune b/libASL/support/web/dune
deleted file mode 100644
index aee1362e..00000000
--- a/libASL/support/web/dune
+++ /dev/null
@@ -1,5 +0,0 @@
-(library
- (name libASL_support_web)
- (public_name asli.libASL-support-web)
- (implements libASL_support)
- (libraries libASL_stage0 zarith_stubs_js))
diff --git a/libASL/support/web/solver.ml b/libASL/support/web/solver.ml
deleted file mode 100644
index f638abdd..00000000
--- a/libASL/support/web/solver.ml
+++ /dev/null
@@ -1,4 +0,0 @@
-
-module AST = LibASL_stage0.Asl_ast
-
-let check_constraints (_bs: AST.expr list) (_cs: AST.expr list): bool = true