From 0eae65169e894f55f2c8343ad7e1923c9a6f1b8e Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Fri, 9 Jun 2017 11:56:00 +0200
Subject: [PATCH] add Validated Numerics if we want to use Interval

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

diff --git a/Orb_AutFN.jl b/Orb_AutFN.jl
index a7c7a0f..9c731a5 100644
--- a/Orb_AutFN.jl
+++ b/Orb_AutFN.jl
@@ -5,6 +5,8 @@ using SCS
 using GroupRings
 using PropertyT
 
+using ValidatedNumerics
+
 import Nemo: Group, GroupElem
 using ArgParse