From 984dbb39268188c3bad5eace3d518befeba0f96b Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 10 Jul 2026 22:11:41 +0000
Subject: [PATCH] Clean up std::to_string(1) literal in array_decl_plugin.cpp

---
 src/ast/array_decl_plugin.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/array_decl_plugin.cpp b/src/ast/array_decl_plugin.cpp
index c10cc1a71b..2dc4645cdf 100644
--- a/src/ast/array_decl_plugin.cpp
+++ b/src/ast/array_decl_plugin.cpp
@@ -310,7 +310,7 @@ func_decl * array_decl_plugin::mk_array_ext(unsigned arity, sort * const * domai
 bool array_decl_plugin::check_set_arguments(unsigned arity, sort * const * domain) {
     for (unsigned i = 0; i < arity; ++i) {
         if (domain[i] != domain[0]) {
-            m_manager->raise_exception("arguments " + std::to_string(1) + " and " + std::to_string(i+1) + " have different sorts");
+            m_manager->raise_exception("arguments 1 and " + std::to_string(i+1) + " have different sorts");
             return false;
         }
         if (domain[i]->get_family_id() != m_family_id) {