Fix linting problem in string_constraint

romainbrenguier · romainbrenguier · commit 01394249c3f9 · 2018-03-14T09:08:26.000Z
diff --git a/src/solvers/refinement/string_constraint.h b/src/solvers/refinement/string_constraint.h
@@ -54,7 +54,7 @@ Author: Romain Brenguier, romain.brenguier@diffblue.com
 ///      \f$f\f$ [explicitly stated, implied].
 ///
 /// \todo The fact that we follow this grammar is not enforced at the moment.
-class string_constraintt: public exprt
+class string_constraintt : public exprt
 {
 public:
   // String constraints are of the form
@@ -158,7 +158,7 @@ inline std::string to_string(const string_constraintt &expr)
 }
 
 /// Constraints to encode non containement of strings.
-class string_not_contains_constraintt: public exprt
+class string_not_contains_constraintt : public exprt
 {
 public:
   // string_not contains_constraintt are formula of the form:

Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,7 @@ Author: Romain Brenguier, [email protected]`
`54`	`54`	`/// \f$f\f$ [explicitly stated, implied].`
`55`	`55`	`///`
`56`	`56`	`/// \todo The fact that we follow this grammar is not enforced at the moment.`
`57`		`-class string_constraintt: public exprt`
	`57`	`+class string_constraintt : public exprt`
`58`	`58`	`{`
`59`	`59`	`public:`
`60`	`60`	`// String constraints are of the form`
`@@ -158,7 +158,7 @@ inline std::string to_string(const string_constraintt &expr)`
`158`	`158`	`}`
`159`	`159`
`160`	`160`	`/// Constraints to encode non containement of strings.`
`161`		`-class string_not_contains_constraintt: public exprt`
	`161`	`+class string_not_contains_constraintt : public exprt`
`162`	`162`	`{`
`163`	`163`	`public:`
`164`	`164`	`// string_not contains_constraintt are formula of the form:`