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 {

Reply via email to