aboutsummaryrefslogtreecommitdiff
path: root/lib/configuration/dune
diff options
context:
space:
mode:
Diffstat (limited to 'lib/configuration/dune')
-rwxr-xr-xlib/configuration/dune3
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/configuration/dune b/lib/configuration/dune
index b08e9bd..c29ba49 100755
--- a/lib/configuration/dune
+++ b/lib/configuration/dune
@@ -5,7 +5,6 @@
otoml
menhirLib
importCSV
- yojson
re
helpers
importDataTypes
@@ -14,7 +13,7 @@
)
(foreign_stubs (language c) (names locale))
-(preprocess (pps ppx_yojson_conv ppx_deriving.ord))
+(preprocess (pps ppx_deriving.ord))
)
(rule