X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FClassLibrary%2Fdoublewrapper.java;h=d3092f1dcc31a4922e0741c12fb5f1620e2f1de7;hb=28ba27af212c85e959199cd7bf50a77e3634f178;hp=ed33846fe3221ad4e53ca1906984dbd41d7e46c6;hpb=3648a99c2c77c38bc9352b85360927e63dc7cbed;p=IRC.git

diff --git a/Robust/src/ClassLibrary/doublewrapper.java b/Robust/src/ClassLibrary/doublewrapper.java
index ed33846f..d3092f1d 100644
--- a/Robust/src/ClassLibrary/doublewrapper.java
+++ b/Robust/src/ClassLibrary/doublewrapper.java
@@ -1,4 +1,5 @@
 public class doublewrapper {
-    public doublewrapper() {}
-    double value;
+  public doublewrapper() {
+  }
+  double value;
 }
\ No newline at end of file