From 9f77759cd61f9cb79d913abcf04b0819cf488685 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 13 Sep 2016 10:34:34 -0700 Subject: [PATCH] ensure that status is displayed in SMT-LIB2 compliant way. Issue #734 Signed-off-by: Nikolaj Bjorner --- src/cmd_context/basic_cmds.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cmd_context/basic_cmds.cpp b/src/cmd_context/basic_cmds.cpp index 87cbd2738..d951f7710 100644 --- a/src/cmd_context/basic_cmds.cpp +++ b/src/cmd_context/basic_cmds.cpp @@ -631,7 +631,7 @@ public: ctx.regular_stream() << "(:status " << ctx.get_status() << ")" << std::endl; } else if (opt == m_reason_unknown) { - ctx.regular_stream() << "(:reason-unknown " << ctx.reason_unknown() << ")" << std::endl; + ctx.regular_stream() << "(:reason-unknown \"" << ctx.reason_unknown() << "\")" << std::endl; } else if (opt == m_all_statistics) { ctx.display_statistics();