Index: trunk/FACT++/src/Configuration.h
===================================================================
--- trunk/FACT++/src/Configuration.h	(revision 11246)
+++ trunk/FACT++/src/Configuration.h	(revision 11247)
@@ -68,4 +68,5 @@
 public:
     Configuration(const std::string &prgname="");
+    virtual ~Configuration() { }
 
     /// Retrieve data from a database and return them as options
Index: trunk/FACT++/src/EventBuilderWrapper.h
===================================================================
--- trunk/FACT++/src/EventBuilderWrapper.h	(revision 11246)
+++ trunk/FACT++/src/EventBuilderWrapper.h	(revision 11247)
@@ -35,4 +35,5 @@
 public:
     DataFileImp(uint32_t id) : fRunId(id) { }
+    virtual ~DataFileImp() { }
 
     virtual bool OpenFile(RUN_HEAD* h) = 0;
@@ -798,5 +799,5 @@
         // InitRunNumber();
     }
-    ~EventBuilderWrapper()
+    virtual ~EventBuilderWrapper()
     {
         Abort();
Index: trunk/FACT++/src/MessageImp.h
===================================================================
--- trunk/FACT++/src/MessageImp.h	(revision 11246)
+++ trunk/FACT++/src/MessageImp.h	(revision 11247)
@@ -27,4 +27,5 @@
 public:
     MessageImp(std::ostream &out=std::cout);
+    virtual ~MessageImp() { }
 
     virtual void IndicateStateChange(const Time &, const std::string &) { }
Index: trunk/FACT++/src/Readline.h
===================================================================
--- trunk/FACT++/src/Readline.h	(revision 11246)
+++ trunk/FACT++/src/Readline.h	(revision 11247)
@@ -57,5 +57,5 @@
 public:
     Readline(const char *prgname);
-    ~Readline();
+    virtual ~Readline();
 
     // Access to readline