From dd717ae5417e07f6041077b65b1b8b563713ae91 Mon Sep 17 00:00:00 2001
From: facundoy <facundoy@umich.edu>
Date: Sun, 15 Dec 2024 15:19:54 -0500
Subject: [PATCH] Fixed a bug where double line breaks in the markdown
 translation was not being handled properly

---
 src/haz3lweb/view/ExplainThis.re | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/haz3lweb/view/ExplainThis.re b/src/haz3lweb/view/ExplainThis.re
index 3ab1065785..4d6953ce11 100644
--- a/src/haz3lweb/view/ExplainThis.re
+++ b/src/haz3lweb/view/ExplainThis.re
@@ -185,7 +185,9 @@ let mk_translation = (~inject, text: string): (list(Node.t), ColorSteps.t) => {
     List.fold_left(
       ((msg, mapping), elem) => {
         switch (elem) {
-        | Omd.Paragraph(_, d) => translate_inline(d, msg, mapping, ~inject)
+        | Omd.Paragraph(_, d) =>
+          let (n, _) = translate_inline(d, [], mapping, ~inject);
+          (List.append(msg, [Node.p(n)]), mapping);
         | Omd.List(_, _, _, items) =>
           let (bullets, mapping) =
             List.fold_left(