From 2d3ed657e713a135ba988716b4f0cae03f7776fb Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Mon, 15 May 2017 09:54:28 +0200
Subject: [PATCH] deepcopy_internal for FreeGroupElems

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

diff --git a/src/FreeGroup.jl b/src/FreeGroup.jl
index 5e93c15..6b701e6 100644
--- a/src/FreeGroup.jl
+++ b/src/FreeGroup.jl
@@ -79,6 +79,11 @@ 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)