Skip to content

Commit 862f791

Browse files
authored
read_metadata: use JSON for reading to preserve order (oscar-system#5914)
using lazy parsing to avoid reading the full file fixes doctests with JSON.jl version 1.5.0
1 parent d0154bb commit 862f791

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/Serialization/main.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -51,8 +51,8 @@ end
5151
# FIXME: this function is exported but undocumented
5252
function read_metadata(filename::String)
5353
open(filename) do io
54-
obj = JSON3.read(io)
55-
println(JSON.json(obj[:meta], 2))
54+
obj = JSON.lazy(io)
55+
println(JSON.json(JSON.parse(obj[:meta]), 2))
5656
end
5757
end
5858

0 commit comments

Comments
 (0)