Do not check for a null pointer in the type printer, because we stopped using null...
authorChristoph Mallon <christoph.mallon@gmx.de>
Thu, 24 Feb 2011 10:21:59 +0000 (10:21 +0000)
committerChristoph Mallon <christoph.mallon@gmx.de>
Thu, 24 Feb 2011 10:21:59 +0000 (10:21 +0000)
commit3f0055fc8274ada19e4fc9dfd5f77981782159eb
treee509d664ba6bb408e1e220b0495630fab3aa651a
parent03d3b8c10e86bd5604ac13f2cb020c11261977f8
Do not check for a null pointer in the type printer, because we stopped using null pointers as error type long ago.

[r28439]
type.c