[PPL-devel] [GIT] ppl/ppl(master): Removed redundant cast.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Nov  3 19:06:57 2011 +0100

Removed redundant cast.
Detected by ECLAIR service castexpr.

---

 src/meta_programming.hh |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/src/meta_programming.hh b/src/meta_programming.hh
index 2e19d84..efffa29 100644
--- a/src/meta_programming.hh
+++ b/src/meta_programming.hh
@@ -120,8 +120,7 @@ struct Compile_Time_Check<true> {
   enum anonymous_enum_compile_time_check_ ## suffix {			\
     /* If e evaluates to false, then the sizeof cannot be compiled. */  \
     PPL_COMPILE_TIME_CHECK_NAME(suffix)					\
-    = sizeof(Parma_Polyhedra_Library::					\
-	     Compile_Time_Check<static_cast<bool>(e)>)			\
+    = sizeof(Parma_Polyhedra_Library::Compile_Time_Check<e>)            \
   }
 
 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS