diff make/defs.make @ 296:ce93a51457ae

6730716: nulls from two unrelated classes compare not equal Summary: check for not-nullness after proving that types are unrelated Reviewed-by: kvn, never
author rasbold
date Tue, 19 Aug 2008 07:25:02 -0700
parents 9c2ecc2ffb12
children 354d3184f6b2 7fbf850d87b7
line wrap: on
line diff