Tue, 03 Apr 2012 12:42:16 +0100Delete incorrect comments I had inserted previously (confusing EQ and NE functions)
Mario de Sousa <msousa@fe.up.pt> [Tue, 03 Apr 2012 12:42:16 +0100] rev 501
Delete incorrect comments I had inserted previously (confusing EQ and NE functions)