switch to spaces only..

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / TagBinding.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java b/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
index adc81a5ac0b72a2f55ad9783eb734c26fa44ce56..3ad4df58b0c4674c5cba5bb4cc2d68afc49df785 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
@@ -43,13 +43,13 @@ public class TagBinding extends GraphNode {
     if (o instanceof TagBinding) {
       TagBinding tb=(TagBinding)o;
       if (md!=tb.md)
-       return false;
+        return false;
       for(int i=0; i<tdarray.length; i++)
-       if (tdarray[i]!=null) {
-         if (!tdarray[i].equals(tb.tdarray[i]))
-           return false;
-       } else if(tb.tdarray[i]!=null)
-         return false;
+        if (tdarray[i]!=null) {
+          if (!tdarray[i].equals(tb.tdarray[i]))
+            return false;
+        } else if(tb.tdarray[i]!=null)
+          return false;
       return true;
     }
     return false;
@@ -59,7 +59,7 @@ public class TagBinding extends GraphNode {
     int hashcode=md.hashCode();
     for(int i=0; i<tdarray.length; i++) {
       if (tdarray[i]!=null)
-       hashcode^=tdarray[i].hashCode();
+        hashcode^=tdarray[i].hashCode();
     }
     return hashcode;
   }