diff options
Diffstat (limited to 'www')
| -rw-r--r-- | www/KQuery.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/www/KQuery.html b/www/KQuery.html index d1c6d889..b135b385 100644 --- a/www/KQuery.html +++ b/www/KQuery.html @@ -267,7 +267,8 @@ <p><b>Syntax:</b></p> <div class="syntax"> array-declaration = "array" name "[" [ size ] "]" ":" domain "->" range "=" array-initializer<br> - array-initializer = "symbolic" | "[" { numeric-literal } "]"<br> + array-initializer = "symbolic" | "[" number-list "]"<br> + number-list = number | number "," number-list<br> </div> <p>Arrays can be initialized to be either symbolic, or to have a given list of |