diff options
Diffstat (limited to 'rego-proofs/compiler-rewrite/bin/dune')
| -rw-r--r-- | rego-proofs/compiler-rewrite/bin/dune | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/rego-proofs/compiler-rewrite/bin/dune b/rego-proofs/compiler-rewrite/bin/dune index 941cf84..7990455 100644 --- a/rego-proofs/compiler-rewrite/bin/dune +++ b/rego-proofs/compiler-rewrite/bin/dune @@ -1,10 +1,5 @@ (executable (public_name compiler_rewrite) (name main) - (libraries core compiler_rewrite unix yojson) - (preprocess - (pps ppx_deriving.show ppx_fields_conv))) + (libraries core compiler_rewrite yojson)) -(env - (dev - (flags (:standard -w -66 -w -37 -w -30 -w -32)))) |