~ chicken-core (master) 6408d55ff0cbfe3f0a0fd6504bb558490d515ea4

commit 6408d55ff0cbfe3f0a0fd6504bb558490d515ea4
Author:     Peter Bex <peter@more-magic.net>
AuthorDate: Mon Nov 14 20:03:38 2016 +0100
Commit:     Peter Bex <peter@more-magic.net>
CommitDate: Mon Nov 14 20:03:38 2016 +0100

    Improve description of how to use release-number-vector
    
    Before, it was implied that any vector made by a make-XXXvector
    procedure could be deallocated with release-number-vector, which is of
    course not true!

diff --git a/manual/Unit srfi-4 b/manual/Unit srfi-4
index 88c50cd8..b57be1ff 100644
--- a/manual/Unit srfi-4	
+++ b/manual/Unit srfi-4	
@@ -314,10 +314,10 @@ with the datatype of VECTOR.
 <procedure>(release-number-vector NVECTOR)</procedure>
 
 Release the storage of a SRFI-4 vector that was allocated in
-non-garbage collected memory (using one of the {{make-XXXvector}}
-constructor procedures). The effect of calling this procedure with a
-number vector allocated in normal garbage collected memory is
-undefined.
+non-garbage collected memory (for example using the {{NONGC}} argument
+for one of the {{make-XXXvector}} constructor procedures). The effect
+of calling this procedure with a number vector allocated in normal
+garbage collected memory is undefined.
 
 
 ---