more timezone stuff - it's a miracle, but it seems to work

[wxWidgets.git] / include / wx / stubs / minifram.h

diff --git a/include/wx/stubs/minifram.h b/include/wx/stubs/minifram.h
index 12f485097be10c1a84b4c3b6c022a71f9244f940..8f1644d5583ac7dc529ca482d60fa0b94bb0b1eb 100644 (file)
--- a/include/wx/stubs/minifram.h
+++ b/include/wx/stubs/minifram.h
@@ -34,10 +34,11 @@ public:
            long style = wxDEFAULT_FRAME_STYLE|wxTINY_CAPTION_HORIZ,
            const wxString& name = wxFrameNameStr)
   {
+      // Use wxFrame constructor in absence of more specific code.
       Create(parent, id, title, pos, size, style, name);
   }
 
-  ~wxMiniFrame();
+  ~wxMiniFrame() {}
 protected:
 };