Fix format

zhassan-aws · zhassan-aws · commit 8e142dbd25ff · 2023-02-09T15:11:04.000-08:00
diff --git a/src/goto-checker/solver_factory.cpp b/src/goto-checker/solver_factory.cpp
@@ -332,7 +332,8 @@ std::unique_ptr<solver_factoryt::solvert> solver_factoryt::get_sat_solver()
     else
     {
       messaget log(message_handler);
-      log.error() << "unknown solver '" << solver_option << "'" << messaget::eom;
+      log.error() << "unknown solver '" << solver_option << "'"
+                  << messaget::eom;
       exit(CPROVER_EXIT_USAGE_ERROR);
     }
   }

Original file line number	Diff line number	Diff line change
`@@ -332,7 +332,8 @@ std::unique_ptr<solver_factoryt::solvert> solver_factoryt::get_sat_solver()`
`332`	`332`	`else`
`333`	`333`	`{`
`334`	`334`	`messaget log(message_handler);`
`335`		`- log.error() << "unknown solver '" << solver_option << "'" << messaget::eom;`
	`335`	`+ log.error() << "unknown solver '" << solver_option << "'"`
	`336`	`+ << messaget::eom;`
`336`	`337`	`exit(CPROVER_EXIT_USAGE_ERROR);`
`337`	`338`	`}`
`338`	`339`	`}`