fixup! Add builtin class for string_to_upper_case

romainbrenguier · romainbrenguier · commit 394f5ed99a8e · 2018-08-06T10:00:48.000+01:00
diff --git a/src/solvers/refinement/string_builtin_function.h b/src/solvers/refinement/string_builtin_function.h
@@ -210,6 +210,8 @@ class string_to_lower_case_builtin_functiont
   };
 };
 
+/// Converting each lowercase character of Basic Latin and Latin-1 supplement
+/// to the corresponding uppercase character.
 class string_to_upper_case_builtin_functiont
   : public string_transformation_builtin_functiont
 {

Original file line number	Diff line number	Diff line change
`@@ -210,6 +210,8 @@ class string_to_lower_case_builtin_functiont`
`210`	`210`	`};`
`211`	`211`	`};`
`212`	`212`
	`213`	`+/// Converting each lowercase character of Basic Latin and Latin-1 supplement`
	`214`	`+/// to the corresponding uppercase character.`
`213`	`215`	`class string_to_upper_case_builtin_functiont`
`214`	`216`	`: public string_transformation_builtin_functiont`
`215`	`217`	`{`