From 54da1d326c1a911868f1e7dd5192c32bed28c8cc Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Tue, 6 Jun 2017 11:48:52 +0200
Subject: [PATCH] import Nemo: Group, GroupElem

---
 src/PropertyT.jl | 2 ++
 1 file changed, 2 insertions(+)

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