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")