From 3de09cbab5ee5332dc28aa40114c6b869063d960 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Mon, 15 May 2017 17:19:59 +0200
Subject: [PATCH] remove specific deepcopy_internal -- handled by general in
 Groups.jl

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

diff --git a/src/AutGroup.jl b/src/AutGroup.jl
index e646828..61fbb10 100644
--- a/src/AutGroup.jl
+++ b/src/AutGroup.jl
@@ -174,11 +174,6 @@ end
 #
 ###############################################################################
 
-function deepcopy_internal(g::AutGroupElem, dict::ObjectIdDict)
-   G = parent(g)
-   return G(AutGroupElem(g.str, g.pow, g.ex, g.func))
-end
-
 hash(s::AutSymbol, h::UInt) = hash(s.str, hash(s.pow, hash(:AutSymbol, h)))
 
 function change_pow(s::AutSymbol, n::Int)