[klee-dev] [PATCH 2/3] LICENSE.TXT: remove reference to STP.

[Jonathan Neuschäfer]

STP has been removed from the KLEE repository in r161056.
---
 LICENSE.TXT | 1 -
 1 file changed, 1 deletion(-)

diff --git a/LICENSE.TXT b/LICENSE.TXT
index ce3677c..e2fb630 100644
--- a/LICENSE.TXT
+++ b/LICENSE.TXT
@@ -58,6 +58,5 @@ licenses, and/or restrictions:
 
 Program             Directory
 -------             ---------
-STP                 klee/stp
 klee-libc           runtime/klee-libc
 
-- 
1.8.3.1