--- a/src/common/header.h	Mon Dec 04 13:51:42 2006 +0100
+++ b/src/common/header.h	Tue Dec 05 10:08:27 2006 +0100
@@ -42,10 +42,7 @@
 class Header {
 public:
   Header ();
-  /**
-   * Derived classes must provide an explicit virtual destructor
-   */
-  virtual ~Header () = 0;
+  virtual ~Header ();
 
   void Print (std::ostream &os) const;
   uint32_t GetSize (void) const;