minor

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 2f08bb230567aa1fd18cc35d8fc0b309e1dc8906..5a6ad2cb94e38f1505c49fc928b9e6717075d75d 100644 (file)
--- 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 ??