From 166c4c217bd5dd8342af14962042fc56ff4ae9b5 Mon Sep 17 00:00:00 2001 From: kalmar Date: Sun, 23 Jul 2017 17:01:11 +0200 Subject: [PATCH] parent_type dispatches after Type of element --- src/WreathProducts.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/WreathProducts.jl b/src/WreathProducts.jl index 5a727a6..80cbdd1 100644 --- a/src/WreathProducts.jl +++ b/src/WreathProducts.jl @@ -51,7 +51,7 @@ end elem_type{T<:Group}(G::WreathProduct{T}) = WreathProductElem{elem_type(T)} -parent_type{T<:GroupElem}(::WreathProductElem{T}) = +parent_type{T<:GroupElem}(::Type{WreathProductElem{T}}) = WreathProduct{parent_type(T)} parent(g::WreathProductElem) = WreathProduct(parent(g.n[1]), parent(g.p))