From 18c600a2068939642adaf7d88002602f927e737d Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Fri, 20 Sep 2019 21:32:51 +0200
Subject: test/Expr/Evaluate2.kquery: add link to issue

---
 test/Expr/Evaluate2.kquery | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/Expr/Evaluate2.kquery b/test/Expr/Evaluate2.kquery
index d62241f0..18b307b0 100644
--- a/test/Expr/Evaluate2.kquery
+++ b/test/Expr/Evaluate2.kquery
@@ -2,4 +2,5 @@
 
 # RUN: grep "Query 0:	VALID" %t.log
 # XFAIL: *
+# see https://github.com/klee/klee/issues/97
 (query [false] false)
-- 
cgit 1.4.1