Applied wxGauge:Pulse() patch.

[wxWidgets.git] / include / wx / variant.h

diff --git a/include/wx/variant.h b/include/wx/variant.h
index c8d99a3de8f6ecfddafdd328ff9e07455d4f2f4f..a618b1da5729177d3a3bb075b77cda55d910abfc 100644 (file)
--- a/include/wx/variant.h
+++ b/include/wx/variant.h
@@ -109,7 +109,7 @@ public:
 #endif
 
     wxVariant(const wxVariant& variant);
 #endif
 
     wxVariant(const wxVariant& variant);

-    ~wxVariant();
+    virtual ~wxVariant();

 
 // Generic operators
     // Assignment
 
 // Generic operators
     // Assignment