remove web-related dependencies from main project

UQ-PAC · Jul 1, 2024 · cd2d980 · cd2d980
1 parent 1d33582
commit cd2d980
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 11 deletions.
diff --git 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
@@ -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
diff --git a/libASL/support/web/solver.ml b/libASL/support/web/solver.ml