From 6e0ff531fd5e5a995ec3cd05feb844880b4eb654 Mon Sep 17 00:00:00 2001
From: emarsden <emarsden>
Date: Fri, 11 Apr 2003 13:34:18 +0000
Subject: [PATCH] Fix documentation bug: FLOAT-NORMALIZED-P should be
 FLOAT-DENORMALIZED-P. Noted by Thomas Huehn.

---
 docs/cmu-user/extensions.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/cmu-user/extensions.tex b/docs/cmu-user/extensions.tex
index 67a63dd50..c8487c4c8 100644
--- a/docs/cmu-user/extensions.tex
+++ b/docs/cmu-user/extensions.tex
@@ -87,7 +87,7 @@ trapping must be disabled for the underflow exception
 \w{\code{least-positive-}\var{format}-\code{float}} constants are
 denormalized.
 
-\begin{defun}{extensions:}{float-normalized-p}{\args{\var{x}}}
+\begin{defun}{extensions:}{float-denormalized-p}{\args{\var{x}}}
   
   This function returns true if \var{x} is a denormalized float.
   \var{x} must be a float.
-- 
GitLab