From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 28 Nov 2012 18:37:51 +0000 (+0000)
Subject: minor
X-Git-Tag: cvc5-1.0.0~7540
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=29d566ef705e4140c7f8f2fc4c477b4dab66fb86;p=cvc5.git

minor
---

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 ??