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