summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoberto Ierusalimschy <roberto@inf.puc-rio.br>2021-06-09 13:24:49 -0300
committerRoberto Ierusalimschy <roberto@inf.puc-rio.br>2021-06-09 13:24:49 -0300
commitc0ed74c1e130aa6d80e5ffc7b6e32b433aca1765 (patch)
tree6caf17f0f3aa49ce9623dbb435c7897a4046687d
parentfc6c74f1004b5f67d0503633ddb74174a3c8d6ad (diff)
downloadlua-github-c0ed74c1e130aa6d80e5ffc7b6e32b433aca1765.tar.gz
Avoid the term "undefined behavior" in the manual
-rw-r--r--manual/manual.of5
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.