From 34264c6d76323e0877c5113fec0d0e6631584fa6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Wed, 13 Sep 2023 16:10:56 +0200
Subject: [PATCH] Fix `ZZ` printing (#1506)

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

diff --git a/src/flint/fmpz.jl b/src/flint/fmpz.jl
index 13bfd0f5a..ae7f3ce0b 100644
--- a/src/flint/fmpz.jl
+++ b/src/flint/fmpz.jl
@@ -276,7 +276,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