pow2: Update NEWS. (#6851)

diff --git a/NEWS b/NEWS
index 8e0ace2cf671ec8161051b899409ac02340b478a..74ee8616548a6850a5009bbcfd9e0473014b588d 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -14,8 +14,11 @@ New Features:
   syntax for sequences used by Z3.
 * Arrays: Added support for an `eqrange` predicate. `(eqrange a b i j)` is true
   if arrays `a` and `b` are equal on all indices within indices `i` and `j`.
-* Support for an integer operator `(_ iand n)` that returns the bitwise `and`
-  of two integers, seen as integers modulo n.
+* Integers:
+  * Support for an integer operator `(_ iand n)` that returns the bitwise `and`
+    of two integers, seen as integers modulo n.
+  * Support for an integer operator `int.pow2`, used as `(int.pow2 x)` which
+    represents 2 to the power of x.
 * Strings:
   * Support for `str.indexof_re(s, r, n)`, which returns the index of the first
     occurrence of a regular expression `r` in a string `s` after index `n` or