fix #5287

Z3Prover · May 20, 2021 · 17be37a · 17be37a
1 parent a59dcfd
commit 17be37a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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());