From 29d566ef705e4140c7f8f2fc4c477b4dab66fb86 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 28 Nov 2012 18:37:51 +0000
Subject: minor

---
 RELEASE-NOTES | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 2f08bb230..5a6ad2cb9 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -138,9 +138,8 @@ this, use the --filter-lemma-length=N option to share lemmas of N literals
 (or smaller).  (Some lemmas are ineligible for sharing because they include
 literals that are "local" to one thread.)
 
-Currently, the portfolio **does not work** with quantifiers or with
-the theory of inductive datatypes.  These limitations will be addressed
-in a future release.
+Currently, the portfolio **does not work** with the theory of inductive
+datatypes. This limitation will be addressed in a future release.
 
 ** Questions ??
 
-- 
cgit v1.2.3