aboutsummaryrefslogtreecommitdiff
path: root/dune
diff options
context:
space:
mode:
Diffstat (limited to 'dune')
-rwxr-xr-xdune4
1 files changed, 2 insertions, 2 deletions
diff --git a/dune b/dune
index ea5d723..1536f2b 100755
--- a/dune
+++ b/dune
@@ -11,12 +11,12 @@
worker
shapes
tools
- events
+ elements
blog
path
)
(modes js)
- (preprocess (pps js_of_ocaml-ppx))
+ (preprocess (pps ppx_hash))
(link_flags (:standard -no-check-prims))
)