From 54dd52c6348b74051dd63be6abdd1952be7137af Mon Sep 17 00:00:00 2001
From: Raymond Toy <toy.raymond@gmail.com>
Date: Mon, 25 Aug 2014 19:52:38 -0700
Subject: [PATCH] Update documentation to include float-signaling-nan-p.

---
 src/docs/cmu-user/extensions.tex | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/docs/cmu-user/extensions.tex b/src/docs/cmu-user/extensions.tex
index e0177d8d0..839ce5d6f 100644
--- a/src/docs/cmu-user/extensions.tex
+++ b/src/docs/cmu-user/extensions.tex
@@ -62,12 +62,14 @@ values.
 \end{defun}
 
 \begin{defun}{extensions:}{float-nan-p}{\args{\var{x}}}
+  \defunx[extensions:]{float-signaling-nan-p}{\args{\var{x}}}
   \defunx[extensions:]{float-trapping-nan-p}{\args{\var{x}}}
   
   \code{float-nan-p} returns true if \var{x} is an IEEE NaN (Not A
-  Number) object.  \code{float-trapping-nan-p} returns true only if
+  Number) object.  \code{float-signaling-nan-p} returns true only if
   \var{x} is a trapping NaN.  With either function, \var{x} must be a
-  float.
+  float. \code{float-trapping-nan-p} is the former name of
+  \code{float-signaling-nan-p} and is deprecated.
 \end{defun}
 
 \subsubsection{Negative Zero}
-- 
GitLab