Merge pull request #4228 from asandroq/fix-ffi-docs
Fix code block in FFI documentation
commit421f138efd264dc0d8571f37fdab69dc58592766
authorNiklas Larsson <metaniklas@gmail.com>
dateTue 28 Nov 2017, 12:49 (9 years ago)
parent59c9cd97dcd0cd
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