Reload refs after upgrade script

oscar-system · Feb 1, 2024 · 2505874 · 2505874
1 parent 5810065
commit 2505874
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Serialization/main.jl b/src/Serialization/main.jl
@@ -551,6 +551,9 @@ function load(io::IO; params::Any = nothing, type::Any = nothing,
     jsondict = JSON.parse(json(s.obj), dicttype=Dict{Symbol, Any})
     jsondict = upgrade(file_version, jsondict)
     s.obj = JSON3.read(json(jsondict))
+    if !isnothing(s.refs) && haskey(s.obj, refs_key)
+      s.refs = s.obj[refs_key]
+    end
   end
 
   try