From b3c4d9cc54c1029e3fd0b40bbc49c171078b44e2 Mon Sep 17 00:00:00 2001
From: "Mohammad-Habib.Javaid"
 <mohammad-habib.javaid@etu.sorbonne-universite.fr>
Date: Tue, 30 Jul 2024 10:23:20 +0200
Subject: [PATCH] breaklines at the level of Code, it seems to be problematic
 in application.wiki (tuto)

---
 src/ohow/mld_builder.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ohow/mld_builder.ml b/src/ohow/mld_builder.ml
index 3b5396a..72cf070 100644
--- a/src/ohow/mld_builder.ml
+++ b/src/ohow/mld_builder.ml
@@ -677,7 +677,7 @@ end = struct
           (* les attributs sont essentiels ici, mais on ne peut pas en mettre *)
           `Phrasing_without_interactive
             (match content with
-            | Some content -> "{[" ^ content ^ "]}"
+            | Some content -> breakline_adder ("{[" ^ content ^ "]}")
             | None -> "") )
     | CodeInline ->
       ( None