From 7528ab631e6324790f37ba1bcfc25c2cecca5c03 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Fri, 12 May 2017 19:56:26 +0200
Subject: [PATCH] remove IdSymbol

---
 src/automorphism_groups.jl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/automorphism_groups.jl b/src/automorphism_groups.jl
index 411feed..b64bca8 100644
--- a/src/automorphism_groups.jl
+++ b/src/automorphism_groups.jl
@@ -19,7 +19,6 @@ end
 (==)(s::AutSymbol, t::AutSymbol) = s.gen == t.gen && s.pow == t.pow
 hash(s::AutSymbol, h::UInt) = hash(s.gen, hash(s.pow, hash(:AutSymbol, h)))
 
-IdSymbol(::Type{AutSymbol}) = AutSymbol("(id)", 0, :(id()), id)
 
 function change_pow(s::AutSymbol, n::Int)
     if n == 0