Linting corrections in string_refinement

Author: romainbrenguier

src/solvers/refinement/string_refinement.cpp

@@ -1862,7 +1862,7 @@ static exprt compute_inverse_function(
   return sum_over_map(elems, f.type(), neg);
 }
 
-class find_qvar_visitort: public const_expr_visitort
+class find_qvar_visitort : public const_expr_visitort
 {
 private:
   const exprt &qvar_;

src/solvers/refinement/string_refinement.h

@@ -44,10 +44,11 @@ class string_refinementt final: public bv_refinementt
   };
 public:
   /// string_refinementt constructor arguments
-  struct infot:
-    public bv_refinementt::infot,
-    public string_constraint_generatort::infot,
-    public configt { };
+  struct infot : public bv_refinementt::infot,
+                 public string_constraint_generatort::infot,
+                 public configt
+  {
+  };
 
   explicit string_refinementt(const infot &);