bug fix (#4103)

oscar-system · Sep 17, 2024 · 91d2938 · 91d2938
1 parent 6d184a7
commit 91d2938
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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