From 98633b8240294910f74877e4c8b992bc5669ada1 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sat, 6 Jun 2009 09:15:18 +0000
Subject: Document the KQuery language.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72997 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Expr/Parser.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'lib/Expr/Parser.cpp')

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;
-- 
cgit 1.4.1