Remove unused message_handler from smt_incremental_dry_run_solvert

Author: thomasspriggs

src/goto-checker/solver_factory.cpp

@@ -380,7 +380,7 @@ solver_factoryt::get_incremental_smt2(std::string solver_command)
         ? nullptr
         : open_outfile_and_check(outfile_arg, message_handler, "--outfile");
     solver_process = util_make_unique<smt_incremental_dry_run_solvert>(
-      message_handler, on_std_out ? std::cout : *outfile, std::move(outfile));
+      on_std_out ? std::cout : *outfile, std::move(outfile));
   }
   else
   {

src/solvers/smt2_incremental/smt_solver_process.cpp

@@ -81,12 +81,9 @@ smt_responset smt_piped_solver_processt::receive_response(
 }
 
 smt_incremental_dry_run_solvert::smt_incremental_dry_run_solvert(
-  message_handlert &message_handler,
   std::ostream &out_stream,
   std::unique_ptr<std::ostream> file_stream)
-  : file_stream(std::move(file_stream)),
-    out_stream(out_stream),
-    log(message_handler)
+  : file_stream(std::move(file_stream)), out_stream(out_stream)
 {
 }
 

src/solvers/smt2_incremental/smt_solver_process.h

@@ -72,15 +72,12 @@ class smt_piped_solver_processt : public smt_base_solver_processt
 class smt_incremental_dry_run_solvert : public smt_base_solver_processt
 {
 public:
-  /// \param message_handler:
-  ///   The messaging system to be used for logging purposes.
   /// \param out_stream:
   ///   Reference to the stream to print the SMT formula.
   /// \param file_stream:
   ///   Pointer to the file stream to print the SMT formula into. `nullptr` if
   ///     output is to `std::cout`.
   smt_incremental_dry_run_solvert(
-    message_handlert &message_handler,
     std::ostream &out_stream,
     std::unique_ptr<std::ostream> file_stream);
 
@@ -101,8 +98,6 @@ class smt_incremental_dry_run_solvert : public smt_base_solver_processt
   std::unique_ptr<std::ostream> file_stream;
   /// The output stream reference to print the SMT formula to.
   std::ostream &out_stream;
-  /// For debug printing.
-  messaget log;
 
   /// Description of the current solver
   const std::string desc = "SMT2 incremental dry-run";