Linting corrections in string_refinement

smowton · Mar 14, 2018 · a2fab10 · a2fab10
1 parent 05a3426
commit a2fab10
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/src/solvers/refinement/string_refinement.cpp b/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_;

diff --git a/src/solvers/refinement/string_refinement.h b/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 &);