use gettimeofday() instead of clock_gettime() as the latter lives in librt which...

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

diff --git a/include/wx/xtistrm.h b/include/wx/xtistrm.h
index 3aa8af1ac57317f530613a30ec460adcdfc81b0c..1af026cfe9d17d20594357af15e45a218bdd83bf 100644 (file)
--- a/include/wx/xtistrm.h
+++ b/include/wx/xtistrm.h
@@ -12,10 +12,6 @@
 #ifndef _WX_XTISTRMH__
 #define _WX_XTISTRMH__
 
 #ifndef _WX_XTISTRMH__
 #define _WX_XTISTRMH__
 

-#if defined(__GNUG__) && !defined(NO_GCC_PRAGMA)
-#pragma interface "xtistrm.h"
-#endif
-

 #include "wx/wx.h"
 
 #if wxUSE_EXTENDED_RTTI
 #include "wx/wx.h"
 
 #if wxUSE_EXTENDED_RTTI


@@ -78,7 +74,7 @@ class WXDLLIMPEXP_BASE wxWriter : public wxObject
 {
 public :
     wxWriter() ;
 {
 public :
     wxWriter() ;

-    ~wxWriter() ;
+    virtual ~wxWriter() ;

 
     // with this call you start writing out a new top-level object
     void WriteObject(const wxObject *object, const wxClassInfo *classInfo , wxPersister *persister , const wxString &name , wxxVariantArray &WXUNUSED(metadata)) ;
 
     // with this call you start writing out a new top-level object
     void WriteObject(const wxObject *object, const wxClassInfo *classInfo , wxPersister *persister , const wxString &name , wxxVariantArray &WXUNUSED(metadata)) ;


@@ -163,7 +159,7 @@ class WXDLLIMPEXP_BASE wxReader : public wxObject
 {
 public :
     wxReader() ;
 {
 public :
     wxReader() ;

-    ~wxReader() ;
+    virtual ~wxReader() ;

 
     // the only thing wxReader knows about is the class info by object ID
     wxClassInfo *GetObjectClassInfo(int objectID) ;
 
     // the only thing wxReader knows about is the class info by object ID
     wxClassInfo *GetObjectClassInfo(int objectID) ;