From bfdc08e91d6c7fd6e17eb454247979cd087c784c Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Sun, 25 Jun 2017 09:34:16 +0200
Subject: [PATCH] require IntervalArithmetic v0.9.1

---
 REQUIRE              | 6 ++++--
 src/CheckSolution.jl | 2 +-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/REQUIRE b/REQUIRE
index e68b402..52244d2 100644
--- a/REQUIRE
+++ b/REQUIRE
@@ -1,7 +1,9 @@
 julia 0.5
 JuMP
 SCS
-GroupRings
-ValidatedNumerics
+IntervalArithmetic 0.9.1
 JLD
 Memento
+Nemo
+Groups
+GroupRings
diff --git a/src/CheckSolution.jl b/src/CheckSolution.jl
index fda30be..90b951c 100644
--- a/src/CheckSolution.jl
+++ b/src/CheckSolution.jl
@@ -2,7 +2,7 @@ import Base: rationalize
 
 using IntervalArithmetic
 
-IntervalArithmetic.setrounding(Interval, :accurate)
+IntervalArithmetic.setrounding(Interval, :correct)
 IntervalArithmetic.setformat(sigfigs=10)
 IntervalArithmetic.setprecision(Interval, 53) # slightly faster than 256