On Tue, Jul 02, 2013 at 09:55:18AM -0700, Matthew Dempsky wrote: > On Sat, Jun 29, 2013 at 08:47:18PM -0400, Howard Hinnant wrote: > > I'm having trouble applying this patch: > > Sorry, redone patch attached. Please try again. Please use sizeof() explicitly. Joerg