From cd92880493c67e0da28cee832097592651f30d6b Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Tue, 7 May 2013 12:39:17 +0000
Subject: 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
---
 www/KQuery.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/www/KQuery.html b/www/KQuery.html
index a94dab1e..d1c6d889 100644
--- a/www/KQuery.html
+++ b/www/KQuery.html
@@ -299,7 +299,7 @@
   <p><b>Examples:</b></p>
   <div class="example">
     (query [] false)<br>
-    (query [(Eq w8 (Read w8 mem 0) 10)] false [] [ mem ])<br>
+    (query [(Eq w8 (Read w8 0 mem) 10)] false [] [ mem ])<br>
   </div>
 
   <p>A query command consists a query, consisting of a constraint list and
-- 
cgit 1.4.1