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