diff --git a/src/ligo/ast_simplified/dune b/src/ligo/ast_simplified/dune index f0ffcc2f3..c9e2fcfed 100644 --- a/src/ligo/ast_simplified/dune +++ b/src/ligo/ast_simplified/dune @@ -5,6 +5,6 @@ tezos-utils ) (preprocess - (pps ppx_let) + (pps tezos-utils.ppx_let_generalized) ) ) diff --git a/src/ligo/ast_typed/dune b/src/ligo/ast_typed/dune index 0bda9cc00..237e4114f 100644 --- a/src/ligo/ast_typed/dune +++ b/src/ligo/ast_typed/dune @@ -6,6 +6,6 @@ ast_simplified ; Is that a good idea? ) (preprocess - (pps ppx_let) + (pps tezos-utils.ppx_let_generalized) ) ) diff --git a/src/ligo/bin/dune b/src/ligo/bin/dune index cde43dc40..0b50fee28 100644 --- a/src/ligo/bin/dune +++ b/src/ligo/bin/dune @@ -7,6 +7,6 @@ ) (package ligo) (preprocess - (pps ppx_let) + (pps tezos-utils.ppx_let_generalized) ) ) diff --git a/src/ligo/compiler/dune b/src/ligo/compiler/dune index 29e2a801e..e5cb4a5a9 100644 --- a/src/ligo/compiler/dune +++ b/src/ligo/compiler/dune @@ -8,7 +8,7 @@ operators ) (preprocess - (pps ppx_let) + (pps tezos-utils.ppx_let_generalized) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Tezos_utils )) ) diff --git a/src/ligo/mini_c/dune b/src/ligo/mini_c/dune index 7321242e5..f03d8346c 100644 --- a/src/ligo/mini_c/dune +++ b/src/ligo/mini_c/dune @@ -6,7 +6,7 @@ meta_michelson ) (preprocess - (pps ppx_let) + (pps tezos-utils.ppx_let_generalized) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Tezos_utils )) ) diff --git a/src/ligo/multifix/dune b/src/ligo/multifix/dune index 22b8c87a1..49bb286c4 100644 --- a/src/ligo/multifix/dune +++ b/src/ligo/multifix/dune @@ -8,7 +8,7 @@ (modules ast parser user) (flags (:standard -w +1..62-4-9-44-40-42-48@39@33 -open Tezos_utils )) (preprocess - (pps ppx_let) + (pps tezos-utils.ppx_let_generalized) ) ) diff --git a/src/ligo/operators/dune b/src/ligo/operators/dune index 7012dad18..102c47e45 100644 --- a/src/ligo/operators/dune +++ b/src/ligo/operators/dune @@ -7,6 +7,6 @@ mini_c ) (preprocess - (pps ppx_let) + (pps tezos-utils.ppx_let_generalized) ) ) diff --git a/src/ligo/run/dune b/src/ligo/run/dune index e83df6416..7ed345989 100644 --- a/src/ligo/run/dune +++ b/src/ligo/run/dune @@ -8,7 +8,7 @@ compiler ) (preprocess - (pps ppx_let) + (pps tezos-utils.ppx_let_generalized) ) (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Tezos_utils )) ) diff --git a/src/ligo/test/dune b/src/ligo/test/dune index 3357d9e52..b24fdf8f3 100644 --- a/src/ligo/test/dune +++ b/src/ligo/test/dune @@ -6,7 +6,7 @@ alcotest ) (preprocess - (pps ppx_let) + (pps tezos-utils.ppx_let_generalized) ) (flags (:standard -w +1..62-4-9-44-40-42-48@39@33 -open Tezos_utils )) )