diff options
author | Son Ho | 2021-11-17 14:26:43 +0100 |
---|---|---|
committer | Son Ho | 2021-11-17 14:26:43 +0100 |
commit | 7c62043ab195ee9844d29ade76efdf839a2e98d0 (patch) | |
tree | aa0aa45d5d11da055604fe7ec503a907bc47af82 /src/dune | |
parent | 25fe1a81758bcf25171beee849467b2fff673b20 (diff) |
Use [@@ëerive of_json] on all the types
Diffstat (limited to '')
-rw-r--r-- | src/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |