changes.

[IRC.git] / Robust / src / Tests / ssJava / mp3decoder / HuffData.java

diff --git a/Robust/src/Tests/ssJava/mp3decoder/HuffData.java b/Robust/src/Tests/ssJava/mp3decoder/HuffData.java
index 6cc74cf03c14330f5fe6ff7311758fb3fbcf8007..7497a51ebb74e642206878000dc9bb874c658ef4 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/HuffData.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/HuffData.java
@@ -1,11 +1,12 @@
 // need to have this class for liner type system
+@LATTICE("V")
 public class HuffData {
 
-  public int x;
-  public int y;
-  public int w;
-  public int v;
-  public BitReserve br;
+  @LOC("V") public int x;
+  @LOC("V") public int y;
+  @LOC("V") public int w;
+  @LOC("V") public int v;
+  @LOC("V") public BitReserve br;
 
   public HuffData(int x, int y, int w, int v, BitReserve br) {
     this.x = x;