changes while trying to compile MP3Decoder

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3Decoder / Player.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
index 7268b1d94f09e941c25c6698486bfe1dee5e289c..a6f5e0b33c56910c326957bfba5f9c7fea0cb968 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
@@ -123,8 +123,9 @@ public class Player {
     sampleNumber = 1;\r
     System.out.println("Gobble sentinel: +++");\r
 \r
-    @LOC("IN") int count = 0;\r
-    SSJAVA: while (count++ < 2147483646) {\r
+    // @LOC("IN") int count = 0;\r
+    SSJAVA: while (Counter.idx() < 2147483646) {\r
+      Counter.inc();\r
       if (h == null) {\r
         break;\r
       }\r