* src/misc/formater.hh: Add virtual destructors to please g++-4.0.

This commit is contained in:
Alexandre Duret-Lutz 2012-10-13 15:59:08 +02:00
parent 852603416f
commit 37b0809c44

View file

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