tree 68856ccf74be1fda297f6bdebffb2178e7f9fb1e
parent dc36efbb8fca6f5cfce5fcd26402544f41402808
author Jitse Niesen <jitse@maths.leeds.ac.uk> 1299841573 +0000
committer Jitse Niesen <jitse@maths.leeds.ac.uk> 1299841573 +0000

Change int to Index in equalsIdentity().
This fixes compilation errors in nullary test on 64-bits machines.