From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 28 Nov 2012 18:00:10 +0000 (+0000)
Subject: update to release notes
X-Git-Tag: cvc5-1.0.0~7541
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c683d21e1510dea830e86ebb0bdbc8d66cbeeae3;p=cvc5.git

update to release notes
---

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index b271ed1e4..2f08bb230 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -62,7 +62,8 @@ QUERY commands.
 CVC4 supports rational literals (of type REAL) in decimal; CVC3 did not
 support decimals.
 
-CVC4 does not have support for the IS_INTEGER predicate.
+CVC4 does not have support for the IS_INTEGER predicate, or for predicate
+subtypes, although these are planned for future releases.
 
 ** SMT-LIB compliance