commit 5c4ca17a9d5ecd40adca4b924183bb5e6fce06e3
parent 59d341e01374475745a7a0cc028b16be967e4582
Author: Alexander Burger <abu@software-lab.de>
Date: Fri, 30 Dec 2011 09:51:46 +0100
Minor doc fix
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/ref.html b/doc/ref.html
@@ -1352,7 +1352,7 @@ items are either
<dt>Identical
<dd>They are the same memory object (pointer equality). For example, two
internal symbols with the same name are identical. In the 64-bit version, also
-short numbers (up to 60 bits) are pointer-equal.
+short numbers (up to 60 bits plus sign) are pointer-equal.
<dt>Equal
<dd>They are equal in every respect (structure equality), but need not to be