1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default...
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / builder / IdentifierIndexManager.java
index 8874d00..5b3a50f 100644 (file)
@@ -468,7 +468,7 @@ public class IdentifierIndexManager {
                }
 
                public boolean equals(Object o) {
-                       String s = (String) o;
+                       //String s = (String) o;
                        return compare(this, o) == 0;
                }
        }