From fafe15a997480e4fb7dc2ff24ec0af8b8a94669c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 6 Sep 2017 02:25:38 -0700
Subject: [PATCH] fix for #1247

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/ast_smt2_pp.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/ast/ast_smt2_pp.cpp b/src/ast/ast_smt2_pp.cpp
index 5c3eb93c2..a38f7cd1a 100644
--- a/src/ast/ast_smt2_pp.cpp
+++ b/src/ast/ast_smt2_pp.cpp
@@ -43,6 +43,9 @@ format * smt2_pp_environment::pp_fdecl_name(symbol const & s, unsigned & len) co
         len = static_cast<unsigned>(str.length());
         return mk_string(m, str.c_str());
     }
+    else if (!s.bare_str()) {
+        return mk_string(m, "null");
+    }
     else {
         len = static_cast<unsigned>(strlen(s.bare_str()));
         return mk_string(m, s.bare_str());