diff options
| -rw-r--r-- | manual/manual.of | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/manual/manual.of b/manual/manual.of index 2a837b5e..8cf0abfc 100644 --- a/manual/manual.of +++ b/manual/manual.of @@ -6365,9 +6365,8 @@ The order in which the indices are enumerated is not specified, (To traverse a table in numerical order, use a numerical @Rw{for}.) -The behavior of @id{next} is undefined if, -during the traversal, -you assign any value to a non-existent field in the table. +You should not assign any value to a non-existent field in a table +during its traversal. You may however modify existing fields. In particular, you may set existing fields to nil. |