diff options
| -rw-r--r-- | docs/LangRef.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 704f52bdbc..e5db8c69cf 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -1910,8 +1910,9 @@ Classifications</a> </div> < <# elements> x <elementtype> > </pre> -<p>The number of elements is a constant integer value; elementtype may be any - integer or floating point type.</p> +<p>The number of elements is a constant integer value larger than 0; elementtype + may be any integer or floating point type. Vectors of size zero are not + allowed, and pointers are not allowed as the element type.</p> <h5>Examples:</h5> <table class="layout"> |