[PPL-devel] [GIT] ppl/ppl(master): Avoid not needed virtual inheritance.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at 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)());