Wed, 18 Apr 2012 15:44:00 +0100Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 15:44:00 +0100] rev 523
Remove potential access to NULL pointer.