[PPL-devel] [GIT] ppl/ppl(floating_point): Do not reset strong closure manually since add_octagonal_constraint

[Fabio Bossi]

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

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

Do not reset strong closure manually since add_octagonal_constraint
already does it automatically.

---

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

diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh
index e33df08..7710b61 100644
--- a/src/Octagonal_Shape.templates.hh
+++ b/src/Octagonal_Shape.templates.hh
@@ -724,9 +724,6 @@ Octagonal_Shape<T>::refine_with_linear_form_inequality(
 
   // General case.
 
-  // In the following, strong closure will be definitely lost.
-  reset_strongly_closed();
-
   // FIRST, update the binary constraints for each pair of DIFFERENT variables
   // in `left' and `right'.