From 8dc5577254ea5e05033e5c2ecbb54a1e428c423b Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Tue, 6 Jun 2017 18:47:10 +0200
Subject: [PATCH] import Group, GroupElem

---
 Orb_AutFN.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Orb_AutFN.jl b/Orb_AutFN.jl
index 5c3e080..3ee0044 100644
--- a/Orb_AutFN.jl
+++ b/Orb_AutFN.jl
@@ -5,6 +5,7 @@ using SCS
 using GroupRings
 using PropertyT
 
+import Nemo: Group, GroupElem
 using ArgParse
 
 include("OrbitDecomposition.jl")