diff options
author | Son Ho | 2021-11-18 14:38:44 +0100 |
---|---|---|
committer | Son Ho | 2021-11-18 14:38:44 +0100 |
commit | 66ff3d7d0c2b776137ba84a198a3835ba4ad5384 (patch) | |
tree | a92fce6ee331814416fb4a87de2bc5587c4858b1 /src/dune | |
parent | 8bd41664db7fbbe2d4df47ee20f21de712fa01d0 (diff) |
Remove the automatic derivation of Yojson (de)serializers
Diffstat (limited to '')
-rw-r--r-- | src/dune | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -1,4 +1,3 @@ (executable (name main) - (libraries yojson zarith) - (preprocess (pps ppx_deriving.show ppx_deriving.ord ppx_deriving_yojson)))
\ No newline at end of file + (libraries yojson zarith))
\ No newline at end of file |