switch to spaces only..

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java b/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java
index d352689e0a6d64272f6a44af76b47683e49027ea..ad0bb9694a3c2b9abcd38b5dd7761c898a71fe2e 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java
@@ -34,7 +34,7 @@ public class OptionalTaskDescriptor {
           otd.enterflagstates.equals(enterflagstates)&&
           otd.predicate.equals(predicate)&&
           otd.index==index)
-       return true;
+        return true;
     }
     return false;
   }