Sun, 10 Jun 2012 15:38:24 +0100Fix remaining overflow checks.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 15:38:24 +0100] rev 574
Fix remaining overflow checks.

Sat, 09 Jun 2012 22:58:43 +0100remove incorrect include file.
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 22:58:43 +0100] rev 573
remove incorrect include file.