reformat benchmark source codes to meet the requirements of the annotation generation.

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3DecoderInfer / HuffData.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/HuffData.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/HuffData.java
index fd77b6468f717a1886bd29366b4fa152abb5be5d..d32ee1aefaa5c6c7f413e779913db8c344a37508 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/HuffData.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/HuffData.java
@@ -2,11 +2,11 @@
 
 public class HuffData {
 
-   public int x;
-   public int y;
-   public int w;
-   public int v;
-   public BitReserve br;
+  public int x;
+  public int y;
+  public int w;
+  public int v;
+  public BitReserve br;
 
   public HuffData(int x, int y, int w, int v, BitReserve br) {
     this.x = x;