From 91d29385fc2008a66ff015a8259096b28a349b36 Mon Sep 17 00:00:00 2001
From: antonydellavecchia <antonydellavecchia@gmail.com>
Date: Tue, 17 Sep 2024 23:30:39 +0200
Subject: [PATCH] bug fix (#4103)

---
 src/Serialization/main.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Serialization/main.jl b/src/Serialization/main.jl
index 22b76686988e..9e73730026fe 100644
--- a/src/Serialization/main.jl
+++ b/src/Serialization/main.jl
@@ -697,7 +697,7 @@ function load(io::IO; params::Any = nothing, type::Any = nothing,
     end
     return loaded
   catch e
-    if VersionNumber(replace(String(file_version), r"DEV.+", "DEV")) > VERSION_NUMBER
+    if VersionNumber(replace(string(file_version), r"DEV.+" => "DEV")) > VERSION_NUMBER
       @warn """
       Attempted loading file stored with Oscar version $file_version
       using Oscar version $VERSION_NUMBER