diff options
-rw-r--r-- | RELEASE-NOTES | 5 |
1 files 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 ?? |