From 17be37a5f66435481dcc84bcc9f065b35893dc76 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 20 May 2021 15:40:18 -0700 Subject: [PATCH] fix #5287 --- src/cmd_context/simplify_cmd.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cmd_context/simplify_cmd.cpp b/src/cmd_context/simplify_cmd.cpp index 077a46659f0..0c389a78adb 100644 --- a/src/cmd_context/simplify_cmd.cpp +++ b/src/cmd_context/simplify_cmd.cpp @@ -104,7 +104,7 @@ class simplify_cmd : public parametric_cmd { ctx.display(ctx.regular_stream(), r); ctx.regular_stream() << std::endl; } - if (!failed && m_params.get_bool("print_proofs", false)) { + if (!failed && m_params.get_bool("print_proofs", false) && pr.get()) { ast_smt_pp pp(ctx.m()); pp.set_logic(ctx.get_logic()); pp.display_expr_smt2(ctx.regular_stream(), pr.get());