From 0a7967993061ebd60da872bbaf0c5cb4758dcc58 Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Wed, 12 Jun 2024 13:49:58 -0400 Subject: [PATCH] make recommendation clearer on manifest version mismatch --- base/loading.jl | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/base/loading.jl b/base/loading.jl index c6dfd15933692..314420bb2bec2 100644 --- a/base/loading.jl +++ b/base/loading.jl @@ -2233,15 +2233,16 @@ function collect_manifest_warnings() if !isempty(unsuitable_manifests) msg *= """ - Note that the following manifests in the load path were resolved with a different - julia version, which may be the cause of the error: + julia 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(unsuitable_manifests, "\n ")) """ end if !isempty(dev_manifests) msg *= """ - Note that the following manifests in the load path were resolved a potentially - different DEV version of the current version, which may be the cause - of the error: + 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 ")) """ end