Fixed a bug where double line breaks in the markdown translation was …

…not being handled properly
hazelgrove · Dec 15, 2024 · dd717ae · dd717ae
1 parent 5092383
commit dd717ae
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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(