From 65db62cf2c189d76e0dae83d769364f24338965b Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Tue, 7 May 2013 12:41:00 +0000
Subject: Patch by Dan Liew: "EBNF for constant array initialisation in KQuery
 documentation improvement."

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181308 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/KQuery.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
cgit 1.4.1