From e817bce6062160c71917c89965482730f45ec702 Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Sat, 17 Aug 2024 11:39:41 -0400
Subject: [PATCH] fix

---
 src/haz3lcore/dune | 9 +--------
 src/haz3lweb/dune  | 8 ++++++--
 2 files changed, 7 insertions(+), 10 deletions(-)

diff --git a/src/haz3lcore/dune b/src/haz3lcore/dune
index 2450f6593b..77e2ca3fe1 100644
--- a/src/haz3lcore/dune
+++ b/src/haz3lcore/dune
@@ -15,14 +15,7 @@
 (env
  (dev
   (js_of_ocaml
-   (flags
-    :standard
-    --toplevel
-    --debuginfo
-    --noinline
-    --dynlink
-    --linkall
-    --sourcemap)))
+   (flags :standard --debuginfo --noinline --dynlink --linkall --sourcemap)))
  (release
   (js_of_ocaml
    (flags :standard))))
diff --git a/src/haz3lweb/dune b/src/haz3lweb/dune
index 12ce47adcd..8b99b99f00 100644
--- a/src/haz3lweb/dune
+++ b/src/haz3lweb/dune
@@ -64,6 +64,8 @@
  (libraries ppx_yojson_conv.expander haz3lweb)
  (link_flags -linkall)
  (modes js)
+ (js_of_ocaml
+  (flags :standard --toplevel --dynlink))
  (preprocess
   (pps
    ppx_yojson_conv
@@ -78,13 +80,15 @@
  (libraries workerServer)
  (modes js)
  (link_flags -linkall)
+ (js_of_ocaml
+  (flags :standard --toplevel --dynlink))
  (preprocess
   (pps js_of_ocaml-ppx)))
 
 (env
  (dev
   (js_of_ocaml
-   (flags :standard --debuginfo --noinline --dynlink --linkall --sourcemap)))
+   (flags (:standard))))
  (release
   (js_of_ocaml
-   (flags (:standard)))))
+   (flags (:standard)))))
\ No newline at end of file