index 6396772a5eddde051253bf8d92e3c1c4e33da2ab..4af5ada2b49f05284554ada30ab448320fb653d2 100644 (file)
--- a/src/dom/io/gzipstream.h
+++ b/src/dom/io/gzipstream.h
virtual void flush();
- virtual void put(XMLCh ch);
+ virtual int put(XMLCh ch);
private: