Fix "seq_end failed" crash on YAML witness generation

goblint · Feb 7, 2024 · a3629c9 · a3629c9
1 parent 71498c5
commit a3629c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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