In prefetch analysis:

[IRC.git] / Robust / src / Analysis / Prefetch / IndexDescriptor.java

diff --git a/Robust/src/Analysis/Prefetch/IndexDescriptor.java b/Robust/src/Analysis/Prefetch/IndexDescriptor.java
index 97a9158b393cc08da3b153478bc883b0759b93b7..78d3c316134b99489af1d6352f78c221bec251de 100644 (file)
--- a/Robust/src/Analysis/Prefetch/IndexDescriptor.java
+++ b/Robust/src/Analysis/Prefetch/IndexDescriptor.java
@@ -91,7 +91,7 @@ public class IndexDescriptor extends Descriptor {
        public boolean equals(Object o) {
                if(o instanceof IndexDescriptor) {
                        IndexDescriptor idesc = (IndexDescriptor) o;
-                       if(!offset.equals(idesc.offset)) {
+                       if(!(offset.equals(idesc.offset))) {
                                return false;
                        }
                        if(tddesc == null && idesc.tddesc == null) {