Fix unused warning

hazelgrove · Nov 5, 2024 · 3925028 · 3925028
1 parent ba8f398
commit 3925028
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/haz3lcore/zipper/projectors/MarkdownProj.re b/src/haz3lcore/zipper/projectors/MarkdownProj.re
@@ -64,7 +64,6 @@ let textarea =
   let foo = Omd.of_string(text);
   let bar = Omd.to_html(foo);
   // Node.innerHtml(bar);
-  let foo = safe_html_to_node(bar);
   let foo =
     Node.inner_html(
       ~attrs=[Attr.id(of_id(id))],