addressing linters

Author: fbbotero-aws

src/goto-checker/solver_factory.cpp

@@ -241,8 +241,7 @@ std::unique_ptr<solver_factoryt::solvert> solver_factoryt::get_external_sat()
   no_beautification();
   no_incremental_check();
 
-  std::string external_sat_solver =
-    options.get_option("external-sat-solver");
+  std::string external_sat_solver = options.get_option("external-sat-solver");
   auto prop =
     util_make_unique<external_satt>(message_handler, external_sat_solver);
 
@@ -421,4 +420,4 @@ void solver_factoryt::no_incremental_check()
       "the chosen solver does not support incremental solving",
       "--incremental-check");
   }
-}
+}

src/goto-checker/solver_factory.h

@@ -90,4 +90,4 @@ class solver_factoryt
   void no_incremental_check();
 };
 
-#endif // CPROVER_GOTO_CHECKER_SOLVER_FACTORY_H
+#endif // CPROVER_GOTO_CHECKER_SOLVER_FACTORY_H

src/solvers/sat/external_sat.h

@@ -3,7 +3,6 @@
 /// newer SAT solvers
 /// \author Francis Botero <[email protected]>
 
-
 #ifndef CPROVER_SOLVERS_SAT_EXTERNAL_SAT_H
 #define CPROVER_SOLVERS_SAT_EXTERNAL_SAT_H