From f505b00502ca6f260922d343732703a1a2b2f8cd Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Mon, 15 May 2017 17:29:47 +0200
Subject: [PATCH] deepcopy_internal is handled in Groups.jl

---
 src/FreeGroup.jl | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/FreeGroup.jl b/src/FreeGroup.jl
index 7e70f84..99f8e43 100644
--- a/src/FreeGroup.jl
+++ b/src/FreeGroup.jl
@@ -79,11 +79,6 @@ end
 #
 ###############################################################################
 
-function deepcopy_internal(g::FreeGroupElem, dict::ObjectIdDict)
-   G = parent(g)
-   return G(FreeGroupElem(g.str, g.pow))
-end
-
 hash(s::FreeSymbol, h::UInt) = hash(s.str, hash(s.pow, hash(FreeSymbol, h)))
 
 change_pow(s::FreeSymbol, n::Int) = FreeSymbol(s.str, n)