From 76658a2a3060b7851088356585f926e93da61d20 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Sat, 2 Dec 2023 07:58:40 -0800
Subject: [PATCH] ebmc: use console colors for --show-formula

This enables the use of console colors when --show-formula is used without
--outfile.
---
 src/ebmc/ebmc_solver_factory.cpp | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/ebmc/ebmc_solver_factory.cpp b/src/ebmc/ebmc_solver_factory.cpp
index acd4101e0..7834ca529 100644
--- a/src/ebmc/ebmc_solver_factory.cpp
+++ b/src/ebmc/ebmc_solver_factory.cpp
@@ -49,9 +49,8 @@ ebmc_solver_factoryt ebmc_solver_factory(const cmdlinet &cmdline)
     }
     else
     {
-      return [](const namespacet &, message_handlert &)
-      {
-        auto dec = std::make_unique<show_formula_solvert>(std::cout);
+      return [](const namespacet &, message_handlert &) {
+        auto dec = std::make_unique<show_formula_solvert>();
         return ebmc_solvert{std::move(dec)};
       };
     }