Do not shadow parameter "f"

Rename container elements to "pos" and "neg."

Author: tautschnig

src/solvers/refinement/string_constraint_generator_float.cpp

@@ -422,10 +422,10 @@ std::pair<exprt, string_constraintst> add_axioms_from_float_scientific_notation(
     int_type);
   array_exprt conversion_factor_table(
     array_typet(float_type, conversion_factor_table_size));
-  for(const auto &f : two_power_e_over_ten_power_d_table_negatives)
-    conversion_factor_table.copy_to_operands(constant_float(f, float_spec));
-  for(const auto &f : two_power_e_over_ten_power_d_table)
-    conversion_factor_table.copy_to_operands(constant_float(f, float_spec));
+  for(const auto &neg : two_power_e_over_ten_power_d_table_negatives)
+    conversion_factor_table.copy_to_operands(constant_float(neg, float_spec));
+  for(const auto &pos : two_power_e_over_ten_power_d_table)
+    conversion_factor_table.copy_to_operands(constant_float(pos, float_spec));
 
   // The index in the table, corresponding to exponent e is e+128
   plus_exprt shifted_index(bin_exponent, from_integer(128, int_type));