diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 7744b3b..a60015f 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -4,6 +4,8 @@ using JLD
 using GroupRings
 using Memento
 
+import Nemo: Group, GroupElem
+
 const logger = Memento.config("info", fmt="{msg}")
 const solver_logger = Memento.config("info", fmt="{msg}")