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.)