Remove note about avoiding use of #def in libraries

It should be safe to use now that we aren't relying on C prototypes
for foreign functions in via-C code.

diff --git a/docs/users_guide/utils.xml b/docs/users_guide/utils.xml
index 6c82f6b..ecd55a5 100644 (file)
--- a/docs/users_guide/utils.xml
+++ b/docs/users_guide/utils.xml
@@ -392,15 +392,6 @@ tags:
             <literal>inline</literal>, <literal>struct</literal> or
             <literal>typedef</literal> keyword must come just after
             <literal>def</literal>.</para>
-
-           <note><para>A <literal>foreign import</literal> of a
-           C function may be inlined across a module boundary,
-           in which case you must arrange for the importing
-           module to <literal>#include</literal> the C header
-           file generated by <command>hsc2hs</command> (see
-           <xref linkend="glasgow-foreign-headers"/>).
-           For this reason we avoid using <literal>#def</literal>
-           in the libraries.</para></note>
          </listitem>
        </varlistentry>