Fixed incorrect comment.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181306 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Dan Liew that fixes an incorrect example in the KQuery documention. 


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181307 91177308-0d34-0410-b5e6-96231b3b80d8
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
Patch by Dan Liew: 'Improved clarity of KQuery documentation by changing "version-specifier" to "version"'


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181309 91177308-0d34-0410-b5e6-96231b3b80d8
Patch by Dan Liew: "Added examples of using updates in KQuery documentation."


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181310 91177308-0d34-0410-b5e6-96231b3b80d8