Fix code block in FFI documentation
commit7dcd0cd6f1785e4e9a2c8784316df9c332bc0030
authorAlex Queiroz <asandroq@gmail.com>
dateTue 28 Nov 2017, 11:52 (9 years ago)
parent59c9cd9
docs/reference/ffi.rst+2−1
@@ -220,7 +220,8 @@ global variable with the following name. The type must be just ``IO Ptr``.
220220If the foreign name is prefixed by a ``#``, the name is pasted in literally. This is
221221useful to access constants that are preprocessor definitions (like ``INT_MAX``).
222222
223−..code-block:: idris
223+.. code-block:: idris
224+
224225 %include C "limits.h"
225226
226227 -- access the preprocessor definition INT_MAX