From ef5b1909ccdd50d566264682bd2cb43ada706fed Mon Sep 17 00:00:00 2001
From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Tue, 3 Dec 2013 14:04:58 -0600
Subject: [PATCH] change string news

---
 NEWS | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/NEWS b/NEWS
index 0000eda69..02779ed24 100644
--- a/NEWS
+++ b/NEWS
@@ -14,7 +14,8 @@ Changes since 1.2
   resolved.
 * New :command-verbosity SMT option to silence success and error messages
   on a per-command basis.  API changes to Command infrastructure to support.
-* A new theory of strings.  Currently, only word equations are supported.
+* A new theory of strings: word (dis-)equations, length constraints,
+  regular expressions.
 * Exit codes are now more standard for UNIX command-line tools.  Exit code
   zero means no error---but the result could be sat, unsat, or unknown---and
   nonzero means error.
-- 
2.30.2