[PPL-devel] [GIT] ppl/ppl(master): Long line avoided.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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;