From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Wed, 25 Feb 2015 04:13:28 +0000 (-0600)
Subject: minor fix for internal string print
X-Git-Tag: cvc5-1.0.0~6386
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=57166b98acb6e226e385e6dd4aff9e45a0080aaf;p=cvc5.git

minor fix for internal string print
---

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: {