Tue, 04 Apr 2017 10:41:11 +0100remove debug code left in by mistake in previous commit
Mario de Sousa <msousa@fe.up.pt> [Tue, 04 Apr 2017 10:41:11 +0100] rev 1042
remove debug code left in by mistake in previous commit