From d0175b96b84e2785e3fcd9c0786cdc5d10a1fe50 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 20 Apr 2016 14:07:45 -0700
Subject: [PATCH] guarding against null symbols creeping in. Issue #571

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/api_context.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_context.cpp b/src/api/api_context.cpp
index 47a25f313..bc48874a7 100644
--- a/src/api/api_context.cpp
+++ b/src/api/api_context.cpp
@@ -131,7 +131,7 @@ namespace api {
     }
 
     char * context::mk_external_string(char const * str) {
-        m_string_buffer = str;
+        m_string_buffer = str?str:"";
         return const_cast<char *>(m_string_buffer.c_str());
     }