From 1d5d735f6b9d612f9d57b7ba84805f8896e3e496 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Tue, 7 May 2013 12:42:36 +0000
Subject: 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
---
 www/KQuery.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'www/KQuery.html')

diff --git a/www/KQuery.html b/www/KQuery.html
index b135b385..15fbfdf7 100644
--- a/www/KQuery.html
+++ b/www/KQuery.html
@@ -546,13 +546,13 @@
 
   <p><b>Syntax:</b></p>
   <div class="syntax">
-    expression = "(" "Read" type index-expression version-specifier ")"<br>
+    expression = "(" "Read" type index-expression version ")"<br>
   </div>
 
   <p>The <b>Read</b> expression evaluates to the first write
-  in <i>version-specifier</i> for which <i>index-expression</i> is equivalent to
+  in <i>version</i> for which <i>index-expression</i> is equivalent to
   the index in the write. The type of the expression must match the range of the
-  root array in <i>version-specifier</i>, and the type
+  root array in <i>version</i>, and the type
   of <i>index-expression</i> must match the domain.</p>
 
   <h4><a name="Select_expr">Select</a></h4>
@@ -593,8 +593,8 @@
 
   <p><b>Syntax:</b></p>
   <div class="syntax">
-    expression = "(" "ReadLSB" type index-expression version-specifier ")"<br>
-    expression = "(" "ReadMSB" type index-expression version-specifier ")"<br>
+    expression = "(" "ReadLSB" type index-expression version ")"<br>
+    expression = "(" "ReadMSB" type index-expression version ")"<br>
   </div>
 
   <p><b>ReadLSB</b> and <b>ReadMSB</b> can be used to simplify contiguous array
-- 
cgit 1.4.1