diff options
author | Son Ho | 2021-12-03 14:43:29 +0100 |
---|---|---|
committer | Son Ho | 2021-12-03 14:43:29 +0100 |
commit | 1eb1121490f4331c36298f048c76f9f720206879 (patch) | |
tree | b7675e6f76926430040368b3868e1afd7aeeae61 /src/dune | |
parent | 975b8a067bf6ff69256896f0b2cf7085c9ad142a (diff) |
Make minor modifications
Diffstat (limited to 'src/dune')
-rw-r--r-- | src/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ (executable (name main) - (preprocess (pps ppx_deriving.show ppx_deriving.ord)) + (preprocess (pps ppx_deriving.show ppx_deriving.ord visitors.ppx)) (libraries ppx_deriving yojson zarith easy_logging)) (env |