From a3629c90bd01be7aa0d3129e154cb5ec9b693d01 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 7 Feb 2024 13:01:17 +0200
Subject: [PATCH] Fix "seq_end failed" crash on YAML witness generation

---
 src/util/std/gobYaml.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/std/gobYaml.ml b/src/util/std/gobYaml.ml
index 131daaaebb..624cdbf1fa 100644
--- a/src/util/std/gobYaml.ml
+++ b/src/util/std/gobYaml.ml
@@ -3,7 +3,7 @@ let to_string' ?(len=65535 * 4) ?encoding ?scalar_style ?layout_style v =
   let rec aux len =
     match Yaml.to_string ~len ?encoding ?scalar_style ?layout_style v with
     | Ok _ as o -> o
-    | Error (`Msg ("scalar failed" | "doc_end failed")) when len < Sys.max_string_length / 2 ->
+    | Error (`Msg ("scalar failed" | "doc_end failed" | "seq_end failed")) when len < Sys.max_string_length / 2 ->
       aux (len * 2)
     | Error (`Msg _) as e -> e
   in