On Aug 28, 2008, at 7:18 AM, Prakash Prabhu wrote: >> The right fix for this is to rename destroy() to releaseMemory(). >> Does that work? > > Yeah, that works. Thanks ! Done, thanks: http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080825/066519.html -Chris