From 37b0809c44b63be6860a753bbcf52b72f855ba34 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 13 Oct 2012 15:59:08 +0200
Subject: [PATCH] * src/misc/formater.hh: Add virtual destructors to please
 g++-4.0.

---
 src/misc/formater.hh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/misc/formater.hh b/src/misc/formater.hh
index 28f77bb75..41c8dff9d 100644
--- a/src/misc/formater.hh
+++ b/src/misc/formater.hh
@@ -29,9 +29,10 @@ namespace spot
   class printable
   {
   public:
-    ~printable()
+    virtual ~printable()
     {
     }
+
     virtual void
     print(std::ostream&, const char*) const = 0;
   };
@@ -112,6 +113,10 @@ namespace spot
       call_['%'] = call_[0] = &percent;
     }
 
+    virtual ~formater()
+    {
+    }
+
     /// Collect the %-sequences occurring in \a fmt.
     void
     prime(const char* fmt);