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

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

diff --git a/Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Rectangle2D.java b/Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Rectangle2D.java
index e765e70c11df70a2d1afcd00101fb01ba595920e..ae538162d49a73b6622debb51cc49ad42965e10a 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Rectangle2D.java
+++ b/Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Rectangle2D.java
@@ -1,11 +1,9 @@
-
-
 public class Rectangle2D {
 
-   double x;
-   double y;
-   double width;
-   double height;
+  double x;
+  double y;
+  double width;
+  double height;
 
   public Rectangle2D(double x, double y, double w, double h) {
     this.x = x;