Fix tabbing.... Please fix your editors so they do tabbing correctly!!! (Spaces...

[IRC.git] / Robust / src / IR / Tree / TreeNode.java

diff --git a/Robust/src/IR/Tree/TreeNode.java b/Robust/src/IR/Tree/TreeNode.java
index f779a04690055a6b6bf8e841926d423d43d20b1f..2451d6db9e8291ae865493c090853907a8391748 100644 (file)
--- a/Robust/src/IR/Tree/TreeNode.java
+++ b/Robust/src/IR/Tree/TreeNode.java
@@ -16,13 +16,13 @@ public class TreeNode {
   public int kind() {
     throw new Error();
   }
-  
-  public void setNumLine(int numLine){
+
+  public void setNumLine(int numLine) {
     this.numLine=numLine;
   }
-  
-  public int getNumLine(){
+
+  public int getNumLine() {
     return this.numLine;
   }
-  
+
 }