Fix tabbing.... Please fix your editors so they do tabbing correctly!!! (Spaces...
[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / FlagComparator.java
index 2b343414ac88809d46b1dab44dfcbe540b32d09b..96b61724eeae565510bcd348943e48b859e43c51 100644 (file)
@@ -20,7 +20,7 @@ public class FlagComparator implements Comparator {
 
   public int getFlagInt(FlagState fs) {
     int flagid=0;
-    for(Iterator flags = fs.getFlags(); flags.hasNext();) {
+    for(Iterator flags = fs.getFlags(); flags.hasNext(); ) {
       FlagDescriptor flagd = (FlagDescriptor)flags.next();
       int id=1<<((Integer)flaginfo.get(flagd)).intValue();
       flagid|=id;