From 68df946c81bc5536632f2d555fad82cdc0f408d8 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 21 Jul 2017 14:30:48 +0200 Subject: [PATCH] don't construct parent(::WreatProductElem) when not necessary --- src/WreathProducts.jl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/WreathProducts.jl b/src/WreathProducts.jl index 1b02ed5..fecbeba 100644 --- a/src/WreathProducts.jl +++ b/src/WreathProducts.jl @@ -122,8 +122,7 @@ doc""" ############################################################################### function deepcopy_internal(g::WreathProductElem, dict::ObjectIdDict) - G = parent(g) - return G(deepcopy(g.n), deepcopy(g.p)) + return WreathProductElem(deepcopy(g.n), deepcopy(g.p)) end function hash(G::WreathProduct, h::UInt)