On Wed, Mar 21, 2012 at 7:16 AM, Aron Ahmadia <[email protected]>wrote:

or am I just blind? Where is this documented outside of the developer's list?

It is perhaps not enough, but 3.2 Changes say that VecDestroy() now zeros the pointer so that it cannot be reused. Matt

A

-- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener