From ab7a8df5e0d611c51eebfd4c26efa364015b3c67 Mon Sep 17 00:00:00 2001 From: Valentin Chaboche Date: Tue, 12 Jul 2022 08:09:25 +0200 Subject: [PATCH] Scoru,Proto: fix reason in [check_dissection] --- src/proto_alpha/lib_protocol/sc_rollup_game_repr.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/proto_alpha/lib_protocol/sc_rollup_game_repr.ml b/src/proto_alpha/lib_protocol/sc_rollup_game_repr.ml index 6109671ffb0a..3949c8aa8d80 100644 --- a/src/proto_alpha/lib_protocol/sc_rollup_game_repr.ml +++ b/src/proto_alpha/lib_protocol/sc_rollup_game_repr.ml @@ -492,10 +492,13 @@ let check_dissection ~default_number_of_sections ~start_chunk ~stop_chunk check (not (Option.equal State_hash.equal b stop_chunk.state_hash)) (match stop_chunk.state_hash with - | None -> "The stop hash should be None." + (* If the [b] state is equal to [stop_chunk], that means we + agree on the after state of the section. But, we're trying + to dispute it, it doesn't make sense. *) + | None -> "The stop hash should not be None." | Some stop -> Format.asprintf - "The stop hash should be equal to %a" + "The stop hash should not be equal to %a" State_hash.pp stop) in -- GitLab