breaklines at the level of Code, it seems to be problematic in applic…

…ation.wiki (tuto)
ocsigen · Aug 22, 2024 · b3c4d9c · b3c4d9c
1 parent 4acbd11
commit b3c4d9c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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