From d85d7c76c6d89d184de2dad101e2f628dcbc55ae Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Fri, 21 Sep 2018 21:11:52 +0200
Subject: [PATCH] remove deepcopy_internal

---
 src/GroupRings.jl | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/GroupRings.jl b/src/GroupRings.jl
index 1d8182c..40722cf 100644
--- a/src/GroupRings.jl
+++ b/src/GroupRings.jl
@@ -185,10 +185,6 @@ end
 #
 ###############################################################################
 
-function deepcopy_internal(X::GroupRingElem, dict::ObjectIdDict)
-   return GroupRingElem(deepcopy(X.coeffs), parent(X))
-end
-
 function hash(X::GroupRingElem, h::UInt)
    return hash(X.coeffs, hash(parent(X), hash(GroupRingElem, h)))
 end