Fix init.ml deserialization

hazelgrove · Oct 31, 2024 · 88ea076 · 88ea076
1 parent 6539f35
commit 88ea076
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/haz3lcore/zipper/projectors/FoldProj.re b/src/haz3lcore/zipper/projectors/FoldProj.re
@@ -4,7 +4,10 @@ open Virtual_dom.Vdom;
 open Node;
 
 [@deriving (show({with_path: false}), sexp, yojson)]
-type t = {text: string};
+type t = {
+  [@default "⋱"]
+  text: string,
+};
 
 module M: Projector = {
   [@deriving (show({with_path: false}), sexp, yojson)]