diff --git a/src/proto_alpha/lib_protocol/apply.ml b/src/proto_alpha/lib_protocol/apply.ml index 7d4f268b2c9d1965e8c3fa108ac68239c1d68987..d42c765fe1fc2fdc8d4fa3e5f8e2c1375b97e12a 100644 --- a/src/proto_alpha/lib_protocol/apply.ml +++ b/src/proto_alpha/lib_protocol/apply.ml @@ -1868,7 +1868,8 @@ let apply_external_manager_operation_content : ~inclusion_proof ~message >>=? fun _ctxt -> - failwith "Sc_rolup_atomic_batch operation is not yet supported." + failwith + "Sc_rollup_execute_outbox_message operation is not yet supported." | Sc_rollup_recover_bond {sc_rollup} -> Sc_rollup.Stake_storage.withdraw_stake ctxt sc_rollup source >>=? fun (ctxt, balance_updates) -> diff --git a/src/proto_alpha/lib_protocol/apply_results.ml b/src/proto_alpha/lib_protocol/apply_results.ml index e24da912fc8ee8ba79bbee7c24bad30a960281c4..591e5ec2384796c46dc25a77229268154537a10a 100644 --- a/src/proto_alpha/lib_protocol/apply_results.ml +++ b/src/proto_alpha/lib_protocol/apply_results.ml @@ -2368,6 +2368,7 @@ let contents_and_result_encoding = make sc_rollup_publish_case; make sc_rollup_refute_case; make sc_rollup_timeout_case; + make sc_rollup_execute_outbox_message_case; make sc_rollup_recover_bond_case; ] diff --git a/src/proto_alpha/lib_protocol/operation_repr.ml b/src/proto_alpha/lib_protocol/operation_repr.ml index b0573d6302736916ac213970cbe9cfffb566ef6d..4e737928a4def8d3d44538d550c37672c5d86171 100644 --- a/src/proto_alpha/lib_protocol/operation_repr.ml +++ b/src/proto_alpha/lib_protocol/operation_repr.ml @@ -551,7 +551,7 @@ let sc_rollup_operation_refute_tag = sc_rollup_operation_tag_offset + 4 let sc_rollup_operation_timeout_tag = sc_rollup_operation_tag_offset + 5 -let sc_rollup_operation_atomic_batch_tag = sc_rollup_operation_tag_offset + 6 +let sc_rollup_execute_outbox_message_tag = sc_rollup_operation_tag_offset + 6 let sc_rollup_operation_recover_bond_tag = sc_rollup_operation_tag_offset + 7 @@ -1094,7 +1094,7 @@ module Encoding = struct let[@coq_axiom_with_reason "gadt"] sc_rollup_execute_outbox_message_case = MCase { - tag = sc_rollup_operation_atomic_batch_tag; + tag = sc_rollup_execute_outbox_message_tag; name = "sc_rollup_execute_outbox_message"; encoding = obj6 @@ -1557,7 +1557,7 @@ module Encoding = struct let sc_rollup_execute_outbox_message_case = make_manager_case - sc_rollup_operation_atomic_batch_tag + sc_rollup_execute_outbox_message_tag Manager_operations.sc_rollup_execute_outbox_message_case let sc_rollup_recover_bond_case =