Small layout fix

eladrion · Mar 20, 2024 · 31bec3a · 31bec3a
1 parent 7a9b4e0
commit 31bec3a
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/doc/sphinx/addendum/extraction.rst b/doc/sphinx/addendum/extraction.rst
@@ -451,8 +451,9 @@ OCaml code with C code, the linker needs to know
       Axiom f : nat -> nat -> nat.
       Extract Foreign Constant f => "f_impl".
 
-   Here, the extracted external definition will be
-   ``external f : int -> int -> int = "f_impl"``.
+   Here, the extracted external definition will be:
+
+   ``external f : int -> int -> int = "f_impl"``
 
    .. caution::