@@ -220,7 +220,8 @@ global variable with the following name. The type must be just ``IO Ptr``.
220If the foreign name is prefixed by a ``#``, the name is pasted in literally. This is
220If the foreign name is prefixed by a ``#``, the name is pasted in literally. This is
221useful to access constants that are preprocessor definitions (like ``INT_MAX``).
221useful to access constants that are preprocessor definitions (like ``INT_MAX``).
223−..code-block:: idris
223+.. code-block:: idris
224 %include C "limits.h"
225 %include C "limits.h"
226 -- access the preprocessor definition INT_MAX
227 -- access the preprocessor definition INT_MAX