From e770990d35e4803c88c3b114eb65d2e21a9a65b3 Mon Sep 17 00:00:00 2001
From: Marek Kaluba <kalmar@amu.edu.pl>
Date: Mon, 13 Dec 2021 09:54:32 +0100
Subject: [PATCH] fix: specialize printing for Type{<:Automorphism}

---
 src/autgroups.jl | 4 ++--
 test/AutFn.jl    | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/autgroups.jl b/src/autgroups.jl
index 6ac0165..696270a 100644
--- a/src/autgroups.jl
+++ b/src/autgroups.jl
@@ -79,8 +79,8 @@ end
 
 # eye-candy
 
-Base.show(io::IO, ::Type{<:AbstractFPGroupElement{<:AutomorphismGroup{T}}}) where {T} =
-    print(io, "Automorphism{$T,…}")
+Base.show(io::IO, ::Type{<:FPGroupElement{<:AutomorphismGroup{T}}}) where {T} =
+    print(io, "Automorphism{$T, …}")
 
 Base.show(io::IO, A::AutomorphismGroup) = print(io, "automorphism group of ", object(A))
 
diff --git a/test/AutFn.jl b/test/AutFn.jl
index b8a3f1d..c9b47c5 100644
--- a/test/AutFn.jl
+++ b/test/AutFn.jl
@@ -96,7 +96,7 @@
         @test evaluate(g*h) == evaluate(h*g)
         @test (g*h).savedhash == zero(UInt)
 
-        @test sprint(show, typeof(g)) == "Automorphism{FreeGroup{Symbol},…}"
+        @test sprint(show, typeof(g)) == "Automorphism{FreeGroup{Symbol}, …}"
 
         a = g*h
         b = h*g