On Sat, Jan 29, 2011 at 02:23:04PM +0100, Kornel wrote: > Am Samstag, 29. Januar 2011 schrieb Peter Kümmel: > > > This cured it for me, but I fear it is not the proper c++ patch. > > > > > > > > > > > > Kornel > > > > Yes, the cast isn't nice. Does attached patch also fix the problem? > > If yes, I think you could commit it.
Please, don't. It breaks compilation if size_t is typedef'd to unsigned int. > Yes, it compiles now. Kornel, does it compile using the attached patch? -- Enrico
Index: src/support/docstream.cpp =================================================================== --- src/support/docstream.cpp (revisione 37363) +++ src/support/docstream.cpp (copia locale) @@ -537,6 +537,16 @@ otexstream & operator<<(otexstream & ots return ots; } + +otexstream & operator<<(otexstream & ots, unsigned long i) +{ + ots.os() << i; + ots.canBreakLine(true); + ots.protectSpace(false); + return ots; +} + + } #if ! defined(USE_WCHAR_T) && defined(__GNUC__) Index: src/support/docstream.h =================================================================== --- src/support/docstream.h (revisione 37363) +++ src/support/docstream.h (copia locale) @@ -152,6 +152,8 @@ otexstream & operator<<(otexstream &, do otexstream & operator<<(otexstream &, int); /// otexstream & operator<<(otexstream &, unsigned int); +/// +otexstream & operator<<(otexstream &, unsigned long); /// Helper struct for changing stream encoding struct SetEnc {