Merge pull request #223 from diffblue/ebmc-console-show-formula

ebmc: use console colors for --show-formula
diffblue · Dec 3, 2023 · fb63df5 · fb63df5
2 parents fde0f9b + 76658a2
commit fb63df5
Showing 1 changed file with 2 additions and 3 deletions.
diff --git 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)};
       };
     }