From 106abbe5c1276bb66064a327261a9ba9f410a55a Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Wed, 4 Oct 2017 21:31:53 +0200
Subject: [PATCH] workaround for Nemo-v0.6.3+: perm is no longer a type, it's a
 function

---
 AutFN_orbit.jl | 3 +++
 SL_orbit.jl    | 4 ++++
 2 files changed, 7 insertions(+)

diff --git a/AutFN_orbit.jl b/AutFN_orbit.jl
index 164afad..fecc019 100644
--- a/AutFN_orbit.jl
+++ b/AutFN_orbit.jl
@@ -2,6 +2,9 @@ using ArgParse
 using SCS
 
 using Nemo
+if VERSION >= v"0.6.0"
+   import Nemo.Generic.perm
+end
 using PropertyT
 
 using Groups
diff --git a/SL_orbit.jl b/SL_orbit.jl
index 920a603..77bfb6d 100644
--- a/SL_orbit.jl
+++ b/SL_orbit.jl
@@ -2,6 +2,10 @@ using ArgParse
 using SCS.SCSSolver
 
 using Nemo
+if VERSION >= v"0.6.0"
+   import Nemo.Generic.perm
+end
+
 using PropertyT
 
 using Groups