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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue Feb 21 17:19:11 2012 +0100

Avoid not needed virtual inheritance.

---

src/Handler.defs.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Handler.defs.hh b/src/Handler.defs.hh index 29af88b..6914b09 100644 --- a/src/Handler.defs.hh +++ b/src/Handler.defs.hh @@ -58,7 +58,7 @@ public: */ template <typename Flag_Base, typename Flag> class Parma_Polyhedra_Library::Implementation::Watchdog::Handler_Flag - : virtual public Handler { + : public Handler { public: //! Constructor with a given function. Handler_Flag(const Flag_Base* volatile& holder, Flag& flag); @@ -75,7 +75,7 @@ private:

//! A kind of Handler calling a given function. class Parma_Polyhedra_Library::Implementation::Watchdog::Handler_Function - : virtual public Handler { + : public Handler { public: //! Constructor with a given function. Handler_Function(void (*function)());