diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-28 18:37:51 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-28 18:37:51 +0000 |
| commit | 29d566ef705e4140c7f8f2fc4c477b4dab66fb86 (patch) | |
| tree | 0633e2a7bd78f7bb1af7cc197d643afe2a33a79a /RELEASE-NOTES | |
| parent | c683d21e1510dea830e86ebb0bdbc8d66cbeeae3 (diff) | |
minor
Diffstat (limited to 'RELEASE-NOTES')
| -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 ?? |