Use CGAL_assertion_code

This commit is contained in:
Andreas Fabri 2016-10-19 14:38:49 +02:00
parent d02ab0c626
commit 165fd63364
1 changed files with 4 additions and 3 deletions

View File

@ -321,9 +321,10 @@ public:
void refine_to(const Rational& lo, const Rational& hi) const { void refine_to(const Rational& lo, const Rational& hi) const {
// test whether lo < x < hi // test whether lo < x < hi
// and refines isolating interval until in ]lo,hi[ // and refines isolating interval until in ]lo,hi[
CGAL::Comparison_result s; CGAL_assertion_code(CGAL::Comparison_result s =) compare_distinct(lo);
s = compare_distinct(lo); CGAL_assertion(CGAL::LARGER == s); CGAL_assertion(CGAL::LARGER == s);
s = compare_distinct(hi) ; CGAL_assertion(CGAL::SMALLER == s); CGAL_assertion_code(s =) compare_distinct(hi);
CGAL_assertion(CGAL::SMALLER == s);
} }