From 335a2aa21693046646283be6309d7a9b4b692547 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Wed, 26 Jul 2017 12:58:39 +0200
Subject: [PATCH] change rounding mode to :tight

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

diff --git a/REQUIRE b/REQUIRE
index 95fd359..f5ec9f7 100644
--- a/REQUIRE
+++ b/REQUIRE
@@ -1,7 +1,7 @@
 julia
 JuMP
 SCS
-IntervalArithmetic
+IntervalArithmetic 0.10
 JLD
 Memento
 Nemo
diff --git a/src/CheckSolution.jl b/src/CheckSolution.jl
index 4e3d72d..fb928ff 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, :tight)
 IntervalArithmetic.setformat(sigfigs=10)
 IntervalArithmetic.setprecision(Interval, 53) # slightly faster than 256