From 0c2ea345fba015557693d5ce74705322b027d81b Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 13 Jan 2026 21:36:14 +0000
Subject: [PATCH] Fix spacing in error message

Co-authored-by: levnach <5377127+levnach@users.noreply.github.com>
---
 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 2120a5578..a0ffd81a9 100644
--- a/src/ast/array_decl_plugin.cpp
+++ b/src/ast/array_decl_plugin.cpp
@@ -267,7 +267,7 @@ func_decl * array_decl_plugin::mk_store(unsigned arity, sort * const * domain) {
         return nullptr;
     }
     if (arity != num_parameters+1) {
-        m_manager->raise_exception(std::format("store expects the first argument to be an array taking {}, instead it was passed {}arguments",
+        m_manager->raise_exception(std::format("store expects the first argument to be an array taking {}, instead it was passed {} arguments",
                                                 num_parameters+1, arity - 1));
         UNREACHABLE();
         return nullptr;