Remove unnecessary ignore in ArrayDomain check code

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Author: sim642

src/cdomain/value/cdomains/arrayDomain.ml

@@ -997,9 +997,9 @@ struct
   type substr = IsNotSubstr | IsSubstrAtIndex0 | IsMaybeSubstr
 
   module ArrayOobMessage = M.Category.Behavior.Undefined.ArrayOutOfBounds
-  let warn_past_end ?loc ?tags fmt = 
-    Checks.error Checks.Category.InvalidMemoryAccess fmt |> ignore;
-    M.error ~category:ArrayOobMessage.past_end ?loc ?tags fmt
+  let warn_past_end ?loc ?tags msg =
+    Checks.error Checks.Category.InvalidMemoryAccess "%s" msg;
+    M.error ~category:ArrayOobMessage.past_end ?loc ?tags "%s" msg
 
   let min_nat_of_idx i = Z.max Z.zero (BatOption.default Z.zero (Idx.minimal i))