Module: ppl/ppl Branch: master Commit: 0f5e9fcf26b5672475af536d3a920ba9d8173944 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f5e9fcf26b56...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Oct 29 16:27:43 2011 +0200
Long line avoided.
---
src/CO_Tree.defs.hh | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/src/CO_Tree.defs.hh b/src/CO_Tree.defs.hh index fe72838..b45329d 100644 --- a/src/CO_Tree.defs.hh +++ b/src/CO_Tree.defs.hh @@ -106,7 +106,8 @@ private: //! This is used for node heights and depths in the tree. typedef unsigned height_t;
- PPL_COMPILE_TIME_CHECK(C_Integer<height_t>::max >= CHAR_BITS*sizeof(dimension_type), + PPL_COMPILE_TIME_CHECK(C_Integer<height_t>::max + >= CHAR_BITS*sizeof(dimension_type), "height_t is too small to store depths.");
class tree_iterator;