From 9fe82e9391e59812badbccbc659abf48092e4c3d Mon Sep 17 00:00:00 2001 From: cqc Date: Sun, 18 Feb 2024 14:49:02 -0600 Subject: [PATCH] init.ml --- .config/init.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.config/init.ml b/.config/init.ml index 33c1702..158f505 100644 --- a/.config/init.ml +++ b/.config/init.ml @@ -59,7 +59,9 @@ let setup_workspace ~container cstore : unit Lwt.t = (Headers.get headers "path")) in let status = F.str "Name: %s; Path: %a" step Uri.pp_hum uri in - let window = Tyxml_js.Html.[ "window" ] in + let window : Html_types.nmtokens = + Tyxml_js.Html.[ "window" ] + in appendchild ~container Tyxml_js.Html.( a