[PPL-devel] [GIT] ppl/ppl(floating_point): Removed useless emptiness check.

[Fabio Bossi]

Module: ppl/ppl
Branch: floating_point
Commit: 42d43d4ce329beb3cc2f3bbe7fb7377484b13c6a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42d43d4ce329beb3cc2f3bbe7fb7377484b13c6a

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 17 17:37:24 2009 +0200

Removed useless emptiness check.

---

 src/Octagonal_Shape.templates.hh |    4 ----
 1 files changed, 0 insertions(+), 4 deletions(-)

diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh
index 5598b0d..3b83054 100644
--- a/src/Octagonal_Shape.templates.hh
+++ b/src/Octagonal_Shape.templates.hh
@@ -506,10 +506,6 @@ Octagonal_Shape<T>::refine_with_linear_form_inequality(
     throw_dimension_incompatible(
           "refine_with_linear_form_inequality(left, right)", "right", right);
 
-  // FIXME: maybe it would be best to create a no_check variant.
-  if (marked_empty())
-    return;
-
   // Number of non-zero coefficients in `left': will be set to
   // 0, 1, or 2, the latter value meaning any value greater than 1.
   dimension_type left_t = 0;