From 8d05e337d19011a872c531033c9d914ed3872be3 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Wed, 1 Dec 2010 09:21:19 +0000
Subject: [PATCH] fix floating-point/FFI section: fenv is C99, not POSIX

---
 docs/users_guide/ffi-chap.xml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/users_guide/ffi-chap.xml b/docs/users_guide/ffi-chap.xml
index c124ddb..47c0f01 100644
--- a/docs/users_guide/ffi-chap.xml
+++ b/docs/users_guide/ffi-chap.xml
@@ -651,7 +651,7 @@ int main(int argc, char *argv[])
       <title>Floating point and the FFI</title>
 
       <para>
-        On POSIX systems, the <literal>fenv.h</literal> header
+        The standard C99 <literal>fenv.h</literal> header
         provides operations for inspecting and modifying the state of
         the floating point unit.  In particular, the rounding mode
         used by floating point operations can be changed, and the
-- 
1.7.10.4