Changeset 55574

Timestamp:

Aug 13, 2009, 7:13:52 PM (13 years ago)

Author:

Frank Mori Hess

Message:

Added assertions that wrapped pointers are non-null iff
the wrapped pointer type is a plain old pointer.

(No files)