added aui and richtext and also some extra (probably unneeded) dependencies (patch...

[wxWidgets.git] / utils / tex2rtf / src / htmlutil.cpp

diff --git a/utils/tex2rtf/src/htmlutil.cpp b/utils/tex2rtf/src/htmlutil.cpp
index b68d0b5b2f73d53ae7ccdc984f4e4cef83f6b49f..de0409e8ce5f7c0d6414a58b7fd018523ed77179 100644 (file)
--- a/utils/tex2rtf/src/htmlutil.cpp
+++ b/utils/tex2rtf/src/htmlutil.cpp
@@ -114,7 +114,7 @@ class TexNextPage: public wxObject
     label = copystring(theLabel);
     filename = copystring(theFile);
   }
-  ~TexNextPage(void)
+  virtual ~TexNextPage(void)
   {
     delete[] label;
     delete[] filename;