Module: ppl/ppl Branch: master Commit: 2e3166f54c69b3c7dfb48ab7cd94cfe6b45a2e55 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e3166f54c69b... Author: Enea Zaffanella <zaffanella@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;