Document the KQuery language.

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

1 files changed, 1 insertions, 2 deletions

diff --git a/lib/Expr/Parser.cpp b/lib/Expr/Parser.cpp
index 9b3a2687..e664c9dd 100644
--- a/lib/Expr/Parser.cpp
+++ b/lib/Expr/Parser.cpp
@@ -966,8 +966,7 @@ ExprResult ParserImpl::ParseSelectParenExpr(const Token &Name,
 }
 
 
-// need to decide if we want to allow n-ary Concat expressions in the
-// language
+// FIXME: Rewrite to only accept binary form. Make type optional.
 ExprResult ParserImpl::ParseConcatParenExpr(const Token &Name,
                                             Expr::Width ResTy) {
   std::vector<ExprHandle> Kids;