X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FTests%2FssJava%2Fmp3decoder%2FPlayer.java;h=d82e6e8919b8d49bad2ce04a23a01650e13aa970;hp=b7e8078eea84e7f0e32274da0874da46fef06e58;hb=8ba6ffae3e7090c3f0a1693727d1cfc4bd493c03;hpb=51c89f78daa215be83bf62d6ea81d2758f76178a

diff --git a/Robust/src/Tests/ssJava/mp3decoder/Player.java b/Robust/src/Tests/ssJava/mp3decoder/Player.java
index b7e8078e..d82e6e89 100644
--- a/Robust/src/Tests/ssJava/mp3decoder/Player.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/Player.java
@@ -112,7 +112,7 @@ public class Player {
   public boolean play(@LOC("IN") int frames) throws JavaLayerException {
     @LOC("T") boolean ret = true;
     
-    int count=0;
+    @LOC("T") int count=0;
     SSJAVA: while (count++ < 2147483646) {
       ret = decodeFrame();
       if(!ret){