I changed a uint32_t to intptr_t because it worked better as a signed integer
and because the intent was to have an integer big enough for a pointer.

Committed as 5917.  Thanks.

http://codereview.chromium.org/5512004/

--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev

Reply via email to