Merge pull request #237 from SimonRohou/hotfix-179

Fix issue 179
ibex-team · Nov 16, 2016 · d02f126 · d02f126
2 parents fcd541d + de50a1a
commit d02f126
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/arithmetic/ibex_Interval_filib.h_ b/src/arithmetic/ibex_Interval_filib.h_
@@ -404,9 +404,7 @@ inline Interval sqr(const Interval& x) {
 }
 
 inline Interval sqrt(const Interval& x) {
-	Interval res(filib::sqrt(x.itv));
-	if (res.lb()<0) res &= Interval::POS_REALS;
-	return res;
+	return filib::sqrt(x.itv) & Interval::POS_REALS;
 }
 
 inline Interval pow(const Interval& x, int n) {