get_valid_array_size: rename n

Author: Joel Allred

src/solvers/strings/string_refinement.cpp

@@ -988,12 +988,12 @@ static optionalt<exprt> get_valid_array_size(
     stream << "(sr::get_valid_array_size) size is not valid" << messaget::eom;
     return {};
   }
-  std::size_t n = *num_size_opt;
+  std::size_t num_size = *num_size_opt;
 
-  if(n > MAX_CONCRETE_STRING_SIZE)
+  if(num_size > MAX_CONCRETE_STRING_SIZE)
   {
     stream << "(sr::get_valid_array_size) long string (size " << format(size)
-           << " = " << n << ") " << format(arr) << messaget::eom;
+           << " = " << num_size << ") " << format(arr) << messaget::eom;
     stream << "(sr::get_valid_array_size) consider reducing "
               "max-nondet-string-length so "
               "that no string exceeds "