[PPL-devel] [GIT] ppl/ppl(master): WEIGHT_ADD moved.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 22:32:16 2009 +0200

WEIGHT_ADD moved.

---

 src/conversion.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/conversion.cc b/src/conversion.cc
index 1d8a373..a2ce2ee 100644
--- a/src/conversion.cc
+++ b/src/conversion.cc
@@ -406,10 +406,10 @@ PPL::Polyhedron::conversion(Linear_System& source,
       Scalar_Products::assign(scalar_prod[index_non_zero],
 			      source_k,
 			      dest[index_non_zero]);
+      WEIGHT_ADD(source_num_columns);
       if (scalar_prod[index_non_zero] != 0)
 	// The generator does not saturate the constraint.
 	break;
-      WEIGHT_ADD(source_num_columns);
       // Check if the client has requested abandoning all expensive
       // computations.  If so, the exception specified by the client
       // is thrown now.