From 43f9a0a2bdf3d9be5a5deae97d35b590e010726c Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Fri, 17 Mar 2017 13:48:30 -0400
Subject: [PATCH] fix unterminated char*

---
 src/smt/theory_str.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp
index 0554ae2c2..ff32e6f38 100644
--- a/src/smt/theory_str.cpp
+++ b/src/smt/theory_str.cpp
@@ -1642,7 +1642,7 @@ static zstring str2RegexStr(zstring str) {
           || nc == '*' || nc == '+' || nc == '(' || nc == ')' || nc == '[' || nc == '{') {
         res = res + zstring("\\");
       }
-      char tmp[1] = {(char)str[i]};
+      char tmp[2] = {(char)str[i], '\0'};
       res = res + zstring(tmp);
     }
     return res;