diff options
Diffstat (limited to 'manual')
-rw-r--r-- | manual/manual.of | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/manual.of b/manual/manual.of index 774981c4..56619afe 100644 --- a/manual/manual.of +++ b/manual/manual.of | |||
@@ -3942,6 +3942,8 @@ holding the string content, | |||
3942 | and @id{len} is the length of the string. | 3942 | and @id{len} is the length of the string. |
3943 | The string should have a zero at its end, | 3943 | The string should have a zero at its end, |
3944 | that is, the condition @T{s[len] == '\0'} should hold. | 3944 | that is, the condition @T{s[len] == '\0'} should hold. |
3945 | As with any string in Lua, | ||
3946 | the length must fit in a Lua integer. | ||
3945 | 3947 | ||
3946 | If @id{falloc} is different from @id{NULL}, | 3948 | If @id{falloc} is different from @id{NULL}, |
3947 | that function will be called by Lua | 3949 | that function will be called by Lua |