Change tabbing for everything....

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/ObjWrapper.java b/Robust/src/Analysis/TaskStateAnalysis/ObjWrapper.java
index e2a9e99bbea5af8c962bc7d5cddfe861af1caa64..e9145a6e7cd4819d116d38d12928121ce8572b98 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/ObjWrapper.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/ObjWrapper.java
@@ -4,21 +4,21 @@ import IR.Tree.*;
 import IR.Flat.*;
 import java.util.*;
 
-public class ObjWrapper implements Wrapper{
-    FlagState initfs;
-    HashSet<FlagState> fs;
-    HashSet<TagWrapper> tags;
+public class ObjWrapper implements Wrapper {
+  FlagState initfs;
+  HashSet<FlagState> fs;
+  HashSet<TagWrapper> tags;
 
-    public ObjWrapper(FlagState fs) {
-       this.initfs=fs;
-       this.fs=new HashSet<FlagState>();
-       tags=new HashSet<TagWrapper>();
-    }
+  public ObjWrapper(FlagState fs) {
+    this.initfs=fs;
+    this.fs=new HashSet<FlagState>();
+    tags=new HashSet<TagWrapper>();
+  }
+
+  public ObjWrapper() {
+    this.fs=new HashSet<FlagState>();
+    this.tags=new HashSet<TagWrapper>();
+  }
 
-    public ObjWrapper() {
-       this.fs=new HashSet<FlagState>();
-       this.tags=new HashSet<TagWrapper>();
-    }
 
-    
 }