From 1c4b92da344a4c1e1e41d4094f148e570d6f6ed5 Mon Sep 17 00:00:00 2001 From: Davide Fissore Date: Wed, 27 Nov 2024 14:06:04 +0100 Subject: [PATCH] [dune] remove ppx_inline_test --- src/compiler/dune | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/compiler/dune b/src/compiler/dune index 84c19588a..42d8afdef 100644 --- a/src/compiler/dune +++ b/src/compiler/dune @@ -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) )