Revert "set the name more properly to help Janko (#1106)" (#1118)

This reverts commit 782291b.
thofma · Jul 3, 2023 · b872137 · b872137
1 parent 346df32
commit b872137
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/GrpAb/Elem.jl b/src/GrpAb/Elem.jl
@@ -140,9 +140,8 @@ function show(io::IO, a::GrpAbFinGenElem)
   if get(io, :compact, false)
     print(io, a.coeff)
   else
-    set_name!(parent(a))
     s = get_attribute(parent(a), :name)
-
+    s === nothing
     if s === nothing
       print(io, "Element of\n")
       print(io, parent(a))