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>