From 8e9b9d5603f2683322a8f81814067b1241958d18 Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 6 Jul 2017 09:12:35 +0200 Subject: [PATCH] include the FPGroups.jl file --- src/Groups.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Groups.jl b/src/Groups.jl index 1b3719d..4b3339b 100644 --- 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")