From 8d3a648c4ef8b2be9f95bade7ff1516a893ea488 Mon Sep 17 00:00:00 2001
From: Spencer Janssen <sjanssen@cse.unl.edu>
Date: Thu, 4 Jan 2007 07:52:43 +0000
Subject: [PATCH] User's guide: length is not a good consumer anymore.

---
 docs/users_guide/glasgow_exts.xml |    6 ------
 1 file changed, 6 deletions(-)

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 6dfda6b..9e93fd7 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -5899,12 +5899,6 @@ The following are good consumers:
 <listitem>
 
 <para>
- <function>length</function>
-</para>
-</listitem>
-<listitem>
-
-<para>
  <function>++</function> (on its first argument)
 </para>
 </listitem>
-- 
1.7.10.4