diff --git a/src/proto_alpha/lib_protocol/sc_rollup_PVM_sem.ml b/src/proto_alpha/lib_protocol/sc_rollup_PVM_sem.ml index 61f7e01a9b9dd90bc438c59925bf2bdf1580bab6..cc6a37cfacb6dbd07b361ba3f09b23bd87dd3962 100644 --- a/src/proto_alpha/lib_protocol/sc_rollup_PVM_sem.ml +++ b/src/proto_alpha/lib_protocol/sc_rollup_PVM_sem.ml @@ -24,6 +24,10 @@ (* *) (*****************************************************************************) +(* FIXME: https://gitlab.com/tezos/tezos/-/issues/3649 + + This type cannot be extended in a retro-compatible way. It should + be put into a variant. *) type input = { inbox_level : Raw_level_repr.t; message_counter : Z.t;