Module: ppl/ppl Branch: floating_point Commit: 60479359fdb9e44b03132077149759c216343fcf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60479359fdb9e... Author: Fabio Bossi <bossi@cs.unipr.it> Date: Wed Jul 28 09:56:28 2010 +0200 Fixed a bug in is(). Make check now works again. --- src/Concrete_Expression.inlines.hh | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/Concrete_Expression.inlines.hh b/src/Concrete_Expression.inlines.hh index 1d1d222..cf65a8a 100644 --- a/src/Concrete_Expression.inlines.hh +++ b/src/Concrete_Expression.inlines.hh @@ -92,7 +92,8 @@ template <typename Target> template <template <typename T> class Derived> inline bool Concrete_Expression_Common<Target>::is() const { - return Concrete_Expression<Target>::kind() == Derived<Target>::KIND; + return static_cast<const Concrete_Expression<Target>*>(this)->kind() == + Derived<Target>::KIND; } template <typename Target>