[PPL-devel] [GIT] ppl/ppl(master): Removed commented out line of code that was introduced in the debugging phase .

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Oct 27 09:54:14 2011 +0200

Removed commented out line of code that was introduced in the debugging phase.
Detected by ECLAIR service cmntdout.

---

 src/termination.cc |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/src/termination.cc b/src/termination.cc
index f37c76f..5ea3d02 100644
--- a/src/termination.cc
+++ b/src/termination.cc
@@ -875,7 +875,6 @@ all_affine_ranking_functions_PR_original(const Constraint_System& cs,
   // lambda_2 corresponds to space dimensions m, ..., 2*m-1.
   Variables_Set lambda1(Variable(0), Variable(m-1));
   ph.remove_space_dimensions(lambda1);
-  //ph.remove_higher_space_dimensions(m);
 
 #if PRINT_DEBUG_INFO
   std::cout << "*** ph ***" << std::endl;