From 2e6372576e38f88abd521bf454306098c6d9bfc6 Mon Sep 17 00:00:00 2001 From: kalmar Date: Sun, 23 Jul 2017 17:07:21 +0200 Subject: [PATCH] argument name is not used in elem_type --- src/WreathProducts.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/WreathProducts.jl b/src/WreathProducts.jl index 80cbdd1..a490905 100644 --- a/src/WreathProducts.jl +++ b/src/WreathProducts.jl @@ -49,7 +49,7 @@ end # ############################################################################### -elem_type{T<:Group}(G::WreathProduct{T}) = WreathProductElem{elem_type(T)} +elem_type{T<:Group}(::WreathProduct{T}) = WreathProductElem{elem_type(T)} parent_type{T<:GroupElem}(::Type{WreathProductElem{T}}) = WreathProduct{parent_type(T)}