diff hotspot/.settings/org.eclipse.cdt.ui.prefs @ 6552:3cd6c6743a6a

Do not generate null check for values already proven to be non-null.
author Christian Wimmer <christian.wimmer@oracle.com>
date Fri, 12 Oct 2012 16:10:05 -0700
parents 694c38d4b6d8
children
line wrap: on
line diff