Fix format

zhassan-aws · zhassan-aws · commit 9dba5ae757f9 · 2023-01-30T16:29:17.000-08:00
diff --git a/src/goto-checker/solver_factory.cpp b/src/goto-checker/solver_factory.cpp
@@ -214,9 +214,11 @@ std::unique_ptr<solver_factoryt::solvert> solver_factoryt::get_sat_solver()
   auto solver = util_make_unique<solvert>();
   if(options.get_bool_option("cadical"))
   {
-    solver->set_prop(make_satcheck_prop<satcheck_cadicalt>(message_handler, options));
+    solver->set_prop(
+      make_satcheck_prop<satcheck_cadicalt>(message_handler, options));
   }
-  else {
+  else
+  {
     // default solver
     if(
       options.get_bool_option("beautify") ||

Original file line number	Diff line number	Diff line change
`@@ -214,9 +214,11 @@ std::unique_ptr<solver_factoryt::solvert> solver_factoryt::get_sat_solver()`
`214`	`214`	`auto solver = util_make_unique<solvert>();`
`215`	`215`	`if(options.get_bool_option("cadical"))`
`216`	`216`	`{`
`217`		`- solver->set_prop(make_satcheck_prop<satcheck_cadicalt>(message_handler, options));`
	`217`	`+ solver->set_prop(`
	`218`	`+ make_satcheck_prop<satcheck_cadicalt>(message_handler, options));`
`218`	`219`	`}`
`219`		`- else {`
	`220`	`+ else`
	`221`	`+ {`
`220`	`222`	`// default solver`
`221`	`223`	`if(`
`222`	`224`	`options.get_bool_option("beautify") \|\|`