From 3925028a712bbc1a9acaf1cec716bb279e2d675f Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Mon, 4 Nov 2024 19:40:23 -0500
Subject: [PATCH] Fix unused warning

---
 src/haz3lcore/zipper/projectors/MarkdownProj.re | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/haz3lcore/zipper/projectors/MarkdownProj.re b/src/haz3lcore/zipper/projectors/MarkdownProj.re
index 41f4fdcca..521ae57fa 100644
--- 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))],