Thread: minor bufmgr cleanup

This patch makes a trivial improvement to IncrBufferRefCount(): rather
than asserting that BufferIsValid() and then manually asserting its pin
count is > 0, we can just assert BufferIsPinned().

I'll apply to HEAD before end of day, barring any objections.

-Neil

On Wed, 2004-11-24 at 11:18 +1100, Neil Conway wrote:
> This patch makes a trivial improvement to IncrBufferRefCount(): rather
> than asserting that BufferIsValid() and then manually asserting its pin
> count is > 0, we can just assert BufferIsPinned().

Applied.

-Neil