On 5/9/15 3:41 PM, Timon Gehr wrote: > On 05/10/2015 12:38 AM, Timon Gehr wrote: >> >> 142| return parent.reallocate(b, gs); >> >> 172| return parent.alignedReallocate(b, gs, a); > > (Note that those code snippets also occur in their documentation.) Can't find "gs" in the doc comments, is it there? -- Andrei