From e51c1b0dd6d77abd6cfc4c688e8a3a251593a7fd Mon Sep 17 00:00:00 2001
From: msridhar1 <msridhar1@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Wed, 12 Mar 2008 14:42:34 +0000
Subject: [PATCH] remove check in compareElements since we're now passing
 PathEdges to hasPriorityOver()

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2696 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java   | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
index 0cbcfb96a..6678a1009 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
@@ -965,12 +965,7 @@ public class TabulationSolver<T, P> {
     @SuppressWarnings("unchecked")
     @Override
     protected boolean compareElements(PathEdge<T> p1, PathEdge<T> p2) {
-      if (p1.d2 != p2.d2) { // TODO should we remove this check?
-        if (problem.getDomain().hasPriorityOver(p1, p2)) {
-          return true;
-        }
-      }
-      return false;
+      return problem.getDomain().hasPriorityOver(p1, p2);
     }
 
   }