Changeset 55079

Timestamp:

Jul 22, 2009, 1:52:33 PM (13 years ago)

Author:

Frank Mori Hess

Message:

Got rid of is_null_pointer, as it is not needed now that we have
get_plain_old_pointer.

(No files)