From 57dfc05221192fadcbb4d2e5dab1d80f23f81834 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Tue, 27 Mar 2018 21:30:36 +0200
Subject: [PATCH] shift documentation and GWord{T} definition

---
 src/Groups.jl | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/Groups.jl b/src/Groups.jl
index 43cc1ab..8494d07 100644
--- a/src/Groups.jl
+++ b/src/Groups.jl
@@ -27,8 +27,10 @@ doc"""
 """
 abstract type GSymbol end
 
+abstract type GWord{T<:GSymbol} <:GroupElem end
+
 doc"""
-    W::GWord{T<:GSymbol} <:GroupElem
+    W::GroupWord{T} <: GWord{T<:GSymbol} <:GroupElem
 > Basic representation of element of a finitely presented group. `W.symbols`
 > fieldname contains particular group symbols which multiplied constitute a
 > group element, i.e. a word in generators.
@@ -42,9 +44,6 @@ doc"""
 > `modified` flag remains `false`.
 
 """
-
-abstract type GWord{T<:GSymbol} <:GroupElem end
-
 mutable struct GroupWord{T} <: GWord{T}
    symbols::Vector{T}
    savedhash::UInt