Applied patch [ 1586964 ] Getting the PID of the process executed by wxProcess::Open()

[wxWidgets.git] / include / wx / os2 / timer.h

diff --git a/include/wx/os2/timer.h b/include/wx/os2/timer.h
index 90019563b3772a7c3eaed894135a9992300f3dc0..fb7bddc77599e52ca942a5eb8dbee855da86f5ab 100644 (file)
--- a/include/wx/os2/timer.h
+++ b/include/wx/os2/timer.h
@@ -27,7 +27,7 @@ public:
                          ,nId
                         )
         { Init(); }
-    ~wxTimer();
+    virtual ~wxTimer();
 
     virtual void Notify(void);
     virtual bool Start( int  nMilliseconds = -1