changes: generated annotated code but it still causes type errors + re-formatting...
[IRC.git] / Robust / src / Benchmarks / SSJava / EyeTrackingInfer / Point.java
index beb0545..a3b6c37 100644 (file)
@@ -1,9 +1,7 @@
-
-
 public class Point {
 
-   public int x;
-   public int y;
+  public int x;
+  public int y;
 
   public Point(int x, int y) {
     this.x = x;
@@ -12,9 +10,9 @@ public class Point {
 
   public Point() {
   }
-  
-  public String toString(){
-    return "("+x+","+y+")";
+
+  public String toString() {
+    return "(" + x + "," + y + ")";
   }
 
 }