Remove ref to size from solver in warning message

Joel Allred · Joel Allred · commit c4e3eb26124e · 2019-05-13T18:18:11.000+01:00
Future commit will make this function more general, and the found size
will not always be from the solver.
diff --git a/src/solvers/strings/string_refinement.cpp b/src/solvers/strings/string_refinement.cpp
@@ -992,7 +992,7 @@ static optionalt<exprt> get_valid_array_size(
 
   if(num_size > MAX_CONCRETE_STRING_SIZE)
   {
-    stream << "(sr::get_valid_array_size) long string (size " << format(size)
+    stream << "(sr::get_valid_array_size) long string (size "
            << " = " << num_size << ") " << format(arr) << messaget::eom;
     stream << "(sr::get_valid_array_size) consider reducing "
               "max-nondet-string-length so "

Original file line number	Diff line number	Diff line change
`@@ -992,7 +992,7 @@ static optionalt<exprt> get_valid_array_size(`
`992`	`992`
`993`	`993`	`if(num_size > MAX_CONCRETE_STRING_SIZE)`
`994`	`994`	`{`
`995`		`- stream << "(sr::get_valid_array_size) long string (size " << format(size)`
	`995`	`+ stream << "(sr::get_valid_array_size) long string (size "`
`996`	`996`	`<< " = " << num_size << ") " << format(arr) << messaget::eom;`
`997`	`997`	`stream << "(sr::get_valid_array_size) consider reducing "`
`998`	`998`	`"max-nondet-string-length so "`