[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a bug in is().

[Fabio Bossi]

Module: ppl/ppl
Branch: floating_point
Commit: 60479359fdb9e44b03132077149759c216343fcf
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60479359fdb9e44b03132077149759c216343fcf

Author: Fabio Bossi <bossi at 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>