Skip to content

Commit

Permalink
[dune] remove ppx_inline_test
Browse files Browse the repository at this point in the history
  • Loading branch information
FissoreD committed Nov 27, 2024
1 parent 94dca93 commit 1c4b92d
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions src/compiler/dune
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,7 @@
(name elpi_compiler)
(public_name elpi.compiler)
(preprocess (per_module
((pps ppx_deriving.std ppx_inline_test) compiler_data compiler determinacy_checker)))
(inline_tests)
((pps ppx_deriving.std) compiler_data compiler determinacy_checker)))
(libraries re.str unix stdlib-shims elpi.parser elpi.util elpi.runtime)
(modules compiler_data type_checker determinacy_checker compiler)
)
Expand Down

0 comments on commit 1c4b92d

Please sign in to comment.