From a29306e7c039b255d38acf6a06bddd4b245f5de5 Mon Sep 17 00:00:00 2001 From: Sylvain Ribstein Date: Mon, 10 Oct 2022 11:08:11 +0200 Subject: [PATCH] proto/scoru: remove _repr in alpha_context --- src/proto_alpha/lib_protocol/alpha_context.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/proto_alpha/lib_protocol/alpha_context.mli b/src/proto_alpha/lib_protocol/alpha_context.mli index 8e0795fbb177..f04a6959c5d8 100644 --- a/src/proto_alpha/lib_protocol/alpha_context.mli +++ b/src/proto_alpha/lib_protocol/alpha_context.mli @@ -3703,7 +3703,7 @@ module Sc_rollup : sig refutation -> (game_result, t) Either.t tzresult Lwt.t - type timeout = {alice : int; bob : int; last_turn_level : Raw_level_repr.t} + type timeout = {alice : int; bob : int; last_turn_level : Raw_level.t} val timeout_encoding : timeout Data_encoding.t -- GitLab