include the FPGroups.jl file

2017-07-06 09:12:35 +02:00 · 2017-07-06 09:12:35 +02:00 · 8e9b9d5603
parent 345e066664
commit 8e9b9d5603
1 changed files with 1 additions and 0 deletions
--- a/src/Groups.jl
+++ b/src/Groups.jl
@ -404,6 +404,7 @@ end
 ###############################################################################

 include("FreeGroup.jl")
+include("FPGroups.jl")
 include("AutGroup.jl")

 include("DirectProducts.jl")