Tue, 23 Aug 2011 11:54:34 +0100Remove debugging printf() added by mistake in previous commit.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 11:54:34 +0100] rev 361
Remove debugging printf() added by mistake in previous commit.