diff --git a/.config/init.ml b/.config/init.ml index 158f505..e81a606 100644 --- a/.config/init.ml +++ b/.config/init.ml @@ -59,13 +59,10 @@ 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 : Html_types.nmtokens = - Tyxml_js.Html.[ "window" ] - in appendchild ~container Tyxml_js.Html.( a - ~a:[ a_class window ] + ~a:[ a_class [ "window" ] ] [ div ~a:[ a_class [ "status" ] ] [ txt status ]; div