Typo in comment

romainbrenguier · romainbrenguier · commit 069da51617bb · 2017-06-06T10:10:18.000+01:00
diff --git a/src/solvers/refinement/string_constraint_generator_indexof.cpp b/src/solvers/refinement/string_constraint_generator_indexof.cpp
@@ -134,7 +134,7 @@ exprt string_constraint_generatort::add_axioms_for_index_of_string(
 
   if(!is_constant_string(needle))
   {
-    // string_not contains_constraintt are formula of the form:
+    // string_not contains_constraintt are formulas of the form:
     // forall x in [lb,ub[. p(x) => exists y in [lb,ub[. s1[x+y] != s2[y]
     string_not_contains_constraintt a4(
       from_index,

Original file line number	Diff line number	Diff line change
`@@ -134,7 +134,7 @@ exprt string_constraint_generatort::add_axioms_for_index_of_string(`
`134`	`134`
`135`	`135`	`if(!is_constant_string(needle))`
`136`	`136`	`{`
`137`		`- // string_not contains_constraintt are formula of the form:`
	`137`	`+ // string_not contains_constraintt are formulas of the form:`
`138`	`138`	`// forall x in [lb,ub[. p(x) => exists y in [lb,ub[. s1[x+y] != s2[y]`
`139`	`139`	`string_not_contains_constraintt a4(`
`140`	`140`	`from_index,`