From 19939ee1831eb41fd9301c199a5853469fb548fe Mon Sep 17 00:00:00 2001 From: Eugen Zalinescu Date: Thu, 21 Apr 2022 16:03:04 +0200 Subject: [PATCH] Proto: fix name of encoding of round_overflow --- src/proto_alpha/lib_protocol/round_repr.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/proto_alpha/lib_protocol/round_repr.ml b/src/proto_alpha/lib_protocol/round_repr.ml index 8a60fa317684..a7394e33715c 100644 --- a/src/proto_alpha/lib_protocol/round_repr.ml +++ b/src/proto_alpha/lib_protocol/round_repr.ml @@ -71,7 +71,7 @@ let () = "Round cannot be built out of integer greater than maximum int32 value \ (%Ld)" i) - (obj1 (req "Negative_round" int64)) + (obj1 (req "Round_overflow" int64)) (function Round_overflow i -> Some (Int64.of_int i) | _ -> None) (fun i -> Round_overflow (Int64.to_int i)) -- GitLab