Fixing layout spacing

eladrion · Nov 13, 2023 · 1d0c0a7 · 1d0c0a7
1 parent 7388f70
commit 1d0c0a7
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/doc/sphinx/addendum/extraction.rst b/doc/sphinx/addendum/extraction.rst
@@ -420,10 +420,9 @@ OCaml code with C code, the linker needs to know
 
    * The external function name :n:`@string` is not checked in any way.
 
-   * The user must ensure that the C
-     functions given to realize the axioms have the expected or compatible
-     types. In fact, the strings containing realizing code are just copied to the
-     extracted files.
+   * The user must ensure that the C functions given to realize the axioms have
+     the expected or compatible types. In fact, the strings containing realizing
+     code are just copied to the extracted files.
 
 .. exn:: Extract Foreign Constant is supported only for OCaml extraction