From f08eb87cae0835141e54ba4d8df7ca99442b6f64 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Fri, 25 Jun 2010 01:45:21 +0000
Subject: Clarify that expression labels are globally scoped.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106817 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/KQuery.html | 10 ++++++----
 1 file 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>
-- 
cgit 1.4.1