Patch: cast pointers to size_t (was Re: TYPE_HASH change)

[Richard Henderson]

On Mon, Aug 20, 2001 at 08:21:25AM +0200, Gerald Pfeifer wrote:
> What was the wager? :-)

I stand pleasanly surprised.


r~