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

Reply via email to