index b6fec7f326b634f7ccca712b34f2afb775241043..9b42cf033df133a8a9c587440cb849eb524da3e8 100644 (file)
class ConsoleOutputUndoObserver : public UndoStackObserver {
public:
ConsoleOutputUndoObserver() : UndoStackObserver() { }
- ~ConsoleOutputUndoObserver() { }
+ virtual ~ConsoleOutputUndoObserver() { }
void notifyUndoEvent(Event* log);
void notifyRedoEvent(Event* log);