[GIT] ppl/ppl(master): Unwanted recursion removed.

Module: ppl/ppl Branch: master Commit: e21546a47281ac48407d8407cfd8cb97756421f6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e21546a47281a...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Aug 17 20:55:00 2012 +0200
Unwanted recursion removed. Detected by ECLAIR service funrecsn.
---
src/CO_Tree.cc | 1 - 1 files changed, 0 insertions(+), 1 deletions(-)
diff --git a/src/CO_Tree.cc b/src/CO_Tree.cc index e19b5d1..ed67441 100644 --- a/src/CO_Tree.cc +++ b/src/CO_Tree.cc @@ -556,7 +556,6 @@ PPL::CO_Tree::init(dimension_type n) { max_depth = 0;
if (n > 0) { - init(0); const dimension_type max_d = integer_log2(n) + 1; const height_t new_max_depth = static_cast<height_t>(max_d); const dimension_type new_reserved_size
participants (1)
-
Roberto Bagnara