From 40d5906e48d509d35d2a5b8c80d4806352967925 Mon Sep 17 00:00:00 2001
From: Juergen Graf <juergen.graf@gmail.com>
Date: Thu, 10 Jul 2014 17:28:23 +0200
Subject: [PATCH] more shortcuts in OrdinalSet.equals

---
 com.ibm.wala.util/src/com/ibm/wala/util/intset/OrdinalSet.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/intset/OrdinalSet.java b/com.ibm.wala.util/src/com/ibm/wala/util/intset/OrdinalSet.java
index 3b417b8a9..b0a912be7 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/intset/OrdinalSet.java
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/intset/OrdinalSet.java
@@ -108,7 +108,7 @@ public class OrdinalSet<T> implements Iterable<T> {
    * @return true if the contents of two sets are equal
    */
   public static <T> boolean equals(OrdinalSet<T> a, OrdinalSet<T> b) {
-    if (a == null && b == null) {
+    if ((a == null && b == null) || a == b || (a.mapping == b.mapping && a.S == b.S)) {
       return true;
     }