From 5bb2e72589ec9998354920687e26c53fc4c3ebbd Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Wed, 24 Oct 2012 16:06:16 +0000
Subject: Two small changes by Jonathan Neuschäfer: one that fixes a memory
 leak in an example, and one that removes an already completed TODO item.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166582 91177308-0d34-0410-b5e6-96231b3b80d8
---
 TODO.txt | 2 --
 1 file changed, 2 deletions(-)

(limited to 'TODO.txt')

diff --git a/TODO.txt b/TODO.txt
index a0591737..0dc8e831 100644
--- a/TODO.txt
+++ b/TODO.txt
@@ -3,8 +3,6 @@ TODO
 
 Build System / Configure / Release Cleanups
 --
- o Rename .bout to .ktest (klee test)
-
  o Rename .pc to .kquery (kleaver query)
 
  o Configure doesn't check for bison / flex, we don't really use these
-- 
cgit 1.4.1