Java datatype API fixups, datatype API examples

[cvc5.git] / NEWS

diff --git a/NEWS b/NEWS
index dd1de35a454ef58f118d88bd31ed442fecbfc931..74b9a6c0ac30b6cebf1423778f9a814c378648f1 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -12,6 +12,8 @@ Changes since 1.3
   version of CVC4.  However, the new configure option "--bsd" disables
   these GPL dependences and builds the best-performing BSD-licenced version
   of CVC4.
+* Small API adjustments to Datatypes to even out the API and make it
+  function better in Java.
 
 Changes since 1.2
 =================