summaryrefslogtreecommitdiff
path: root/src/dune
diff options
context:
space:
mode:
authorSon Ho2021-11-17 14:26:43 +0100
committerSon Ho2021-11-17 14:26:43 +0100
commit7c62043ab195ee9844d29ade76efdf839a2e98d0 (patch)
treeaa0aa45d5d11da055604fe7ec503a907bc47af82 /src/dune
parent25fe1a81758bcf25171beee849467b2fff673b20 (diff)
Use [@@ëerive of_json] on all the types
Diffstat (limited to 'src/dune')
-rw-r--r--src/dune2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dune b/src/dune
index 2c07ec16..2611eb6e 100644
--- a/src/dune
+++ b/src/dune
@@ -1,4 +1,4 @@
(executable
(name main)
- (libraries yojson)
+ (libraries yojson zarith)
(preprocess (pps ppx_deriving.show ppx_deriving.ord ppx_deriving_yojson))) \ No newline at end of file