changes: generated annotated code but it still causes type errors + re-formatting...

[IRC.git] / Robust / src / Benchmarks / SSJava / EyeTrackingInfer / Point.java

diff --git a/Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Point.java b/Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Point.java
index beb0545ff17821cc6a2d082529012ccc842a5cec..a3b6c37cc3ec5d2f7609fedfa34102e6118baf3d 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Point.java
+++ b/Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Point.java
@@ -1,9 +1,7 @@
-
-

 public class Point {
 
 public class Point {
 

-   public int x;
-   public int y;
+  public int x;
+  public int y;

 
   public Point(int x, int y) {
     this.x = x;
 
   public Point(int x, int y) {
     this.x = x;


@@ -12,9 +10,9 @@ public class Point {
 
   public Point() {
   }
 
   public Point() {
   }

-  
-  public String toString(){
-    return "("+x+","+y+")";
+
+  public String toString() {
+    return "(" + x + "," + y + ")";

   }
 
 }
   }
 
 }