From a3093dc0c8fa706e6924e1e79bb1f269eaa82573 Mon Sep 17 00:00:00 2001 From: Swrup Date: Wed, 7 Dec 2022 22:14:13 +0100 Subject: [PATCH] remove js ppx --- src/dune | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/src/dune b/src/dune index 2a1d301..86fc201 100644 --- a/src/dune +++ b/src/dune @@ -31,8 +31,7 @@ tyxml tyxml.functor uri - uuidm - yojson) + uuidm) (preprocess (pps lwt_ppx))) @@ -50,6 +49,4 @@ (name island_client) (modules island_client) (libraries js_of_ocaml brr) - (modes js) - (preprocess - (pps js_of_ocaml-ppx))) + (modes js))