don't use wxDELETE unnecessarily

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

diff --git a/include/wx/os2/sound.h b/include/wx/os2/sound.h
index 22530b7d4a824174c15c93e5171dd1550e6f8a04..2b6c07a54c7541939e5f6105988483a3dd852d60 100644 (file)
--- a/include/wx/os2/sound.h
+++ b/include/wx/os2/sound.h
@@ -7,7 +7,7 @@
 // Created:     10/17/99
 // RCS-ID:      $Id$
 // Copyright:   (c) David Webster
 // Created:     10/17/99
 // RCS-ID:      $Id$
 // Copyright:   (c) David Webster

-// Licence:     wxWidgets licence
+// Licence:     wxWindows licence

 /////////////////////////////////////////////////////////////////////////////
 
 #ifndef _WX_SOUND_H_
 /////////////////////////////////////////////////////////////////////////////
 
 #ifndef _WX_SOUND_H_


@@ -21,7 +21,7 @@ public:
   wxSound();
   wxSound(const wxString& fileName, bool isResource = FALSE);
   wxSound(int size, const wxByte* data);
   wxSound();
   wxSound(const wxString& fileName, bool isResource = FALSE);
   wxSound(int size, const wxByte* data);

-  ~wxSound();
+  virtual ~wxSound();

 
 public:
   // Create from resource or file
 
 public:
   // Create from resource or file