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