fixup! Initialization of sparse array from array-list

Author: romainbrenguier

src/solvers/refinement/string_refinement_util.h

@@ -128,7 +128,7 @@ class interval_sparse_arrayt final : public sparse_arrayt
   /// `extra_value`.
   interval_sparse_arrayt(const array_exprt &expr, const exprt &extra_value);
 
-  /// Initialize an sparse array from an array represented by a list of
+  /// Initialize a sparse array from an array represented by a list of
   /// index-value pairs, and setting the default to `extra_value`.
   /// Indexes must be constant expressions, and negative indexes are ignored.
   static interval_sparse_arrayt