From 140fc8ab53d5568594b1681b14c9374caa2a7621 Mon Sep 17 00:00:00 2001
From: Valentin Chaboche <valentin.chaboche@nomadic-labs.com>
Date: Tue, 27 Sep 2022 15:11:35 +0200
Subject: [PATCH] Scoru,Test: fix generator

---
 src/proto_alpha/lib_protocol/test/unit/test_sc_rollup_inbox.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/proto_alpha/lib_protocol/test/unit/test_sc_rollup_inbox.ml b/src/proto_alpha/lib_protocol/test/unit/test_sc_rollup_inbox.ml
index 8a2949582cbd..727a608306e8 100644
--- a/src/proto_alpha/lib_protocol/test/unit/test_sc_rollup_inbox.ml
+++ b/src/proto_alpha/lib_protocol/test/unit/test_sc_rollup_inbox.ml
@@ -905,6 +905,7 @@ let tests =
          result"
       (let open QCheck2.Gen in
       let* origination_level = small_nat in
+      let origination_level = succ origination_level in
       let* offset = small_nat in
       let snapshot_level = origination_level + offset + 1 in
       return (origination_level, snapshot_level))
-- 
GitLab