e7d237668812c265671ee11a8ea5c5f9934eac80 - mirror

commit: e7d237668812c265671ee11a8ea5c5f9934eac80
[log]
author: Jitse Niesen <jitse@maths.leeds.ac.uk>
Fri Mar 11 11:06:13 2011 +0000
committer: Jitse Niesen <jitse@maths.leeds.ac.uk>
Fri Mar 11 11:06:13 2011 +0000
tree: 68856ccf74be1fda297f6bdebffb2178e7f9fb1e
parent: dc36efbb8fca6f5cfce5fcd26402544f41402808 [diff]

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

1 file changed

tree: 68856ccf74be1fda297f6bdebffb2178e7f9fb1e