From 57166b98acb6e226e385e6dd4aff9e45a0080aaf Mon Sep 17 00:00:00 2001
From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Tue, 24 Feb 2015 22:13:28 -0600
Subject: [PATCH] minor fix for internal string print

---
 src/theory/strings/regexp_operation.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/theory/strings/regexp_operation.cpp b/src/theory/strings/regexp_operation.cpp
index 20b13f7b1..061b1adb5 100644
--- a/src/theory/strings/regexp_operation.cpp
+++ b/src/theory/strings/regexp_operation.cpp
@@ -2082,7 +2082,8 @@ std::string RegExpOpr::mkString( Node r ) {
         break;
       }
       case kind::STRING_TO_REGEXP: {
-        retStr += niceChar( r[0] );
+        std::string tmp( niceChar( r[0] ) );
+        retStr += tmp.size()==1? tmp : "(" + tmp + ")";
         break;
       }
       case kind::REGEXP_CONCAT: {
-- 
2.30.2