From f40a66c095b97c7b4ec607e3e1b1f8e81b277821 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 6 Sep 2017 02:26:19 -0700
Subject: [PATCH] fixes

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 cdc771f12..63c7de1a9 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());