Clarify that expression labels are globally scoped.

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

1 files changed, 6 insertions, 4 deletions

diff --git a/www/KQuery.html b/www/KQuery.html
index 3049b2e4..a94dab1e 100644
--- a/www/KQuery.html
+++ b/www/KQuery.html
@@ -170,10 +170,12 @@
   <h3><a name="expr_labels">Expression and Version Labels</a></h3>
 
   <p>Expressions are frequently shared among constraints and query
-    expressions. In order to keep the output succinct and readable,
-    expression labels can be used to introduce a lexical binding which can
-    be used in subsequent expressions.</p>
-  
+    expressions. In order to keep the output succinct and readable, expression
+    labels can be used to introduce a lexical binding which can be used in
+    subsequent expressions. Expression labels are globally scoped through the
+    entire source file, and a definition must preceed any use in the source
+    file.</p>
+
   <p><b>Syntax:</b></p>
   <div class="syntax">
     expression = identifier ":" expression<br>