On Tue, Jan 31, 2012 at 3:53 PM, Jason Haslam <jason.haslam at gmail.com> wrote: > Ah, of course. Updated patch including test case attached. Thanks! Would you want to setInvalidDecl() on a NULL RecordDef as well? When does this happen? Nico