Module: ppl/ppl Branch: master Commit: c3b1c746d42b445c547a69c9132f1e4a317d7c9f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3b1c746d42b4...
Author: Roberto Bagnara bagnara@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.