# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1369152215 -7200
# Node ID 3207fae2e2f6a5515fd407e347830122f407cac1
# Parent  6c1f7b853d356606006543dcdaa99fcd850b9931
Value: do equals test of `name' as assertion

diff -r 6c1f7b853d35 -r 3207fae2e2f6 graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Register.java
--- a/graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Register.java	Wed May 22 14:14:49 2013 +0200
+++ b/graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Register.java	Tue May 21 18:03:35 2013 +0200
@@ -213,7 +213,8 @@
     public boolean equals(Object obj) {
         if (obj instanceof Register) {
             Register other = (Register) obj;
-            if (number == other.number && name.equals(other.name)) {
+            if (number == other.number) {
+                assert name.equals(other.name);
                 assert encoding == other.encoding;
                 assert registerCategory == other.registerCategory;
                 return true;