Skip to content

Commit

Permalink
Fix ZZ printing
Browse files Browse the repository at this point in the history
  • Loading branch information
lgoettgens committed Jul 11, 2023
1 parent 5431480 commit b2817b8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/flint/fmpz.jl
Original file line number Diff line number Diff line change
Expand Up @@ -272,7 +272,7 @@ function show(io::IO, a::ZZRing)
print(io, LowercaseOff(), "ZZ")
else
# nested printing allowed, preferably supercompact
print(io, "Integer Ring")
print(io, "Integer ring")
end
end

Expand Down

0 comments on commit b2817b8

Please sign in to comment.