From 36d6914759f3373d68e89b7d5412c8eb5ab599c9 Mon Sep 17 00:00:00 2001
From: Christian Guinard <28689358+christiangnrd@users.noreply.github.com>
Date: Fri, 14 Jun 2024 10:31:36 -0300
Subject: [PATCH] Update loading.jl

---
 base/loading.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/loading.jl b/base/loading.jl
index 314420bb2bec2..065b287b32dd6 100644
--- a/base/loading.jl
+++ b/base/loading.jl
@@ -2240,7 +2240,7 @@ function collect_manifest_warnings()
     end
     if !isempty(dev_manifests)
         msg *= """
-        - Note that the following manifests in the load path were resolved a potentially
+        - Note that the following manifests in the load path were resolved with a potentially
           different DEV version of the current version, which may be the cause of the error.
           Try to re-resolve them in the current version, or consider deleting them if that fails:
             $(join(dev_manifests, "\n    "))