changes.

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

diff --git a/Robust/src/Tests/ssJava/mp3decoder/Player.java b/Robust/src/Tests/ssJava/mp3decoder/Player.java
index d898e9124f6f7e8d4411d4dce6628fcbe4b436cf..647e4c945bd6fce05a1a081fd62da8a1c88862cb 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/Player.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/Player.java
@@ -209,7 +209,7 @@ public class Player
         * \r
         * @return true if there are no more frames to decode, false otherwise.\r
         */\r
-       @LATTICE("O,THISLOC=O")\r
+       @LATTICE("O<TH,THISLOC=TH")\r
        @RETURNLOC("O")\r
        protected boolean decodeFrame() throws JavaLayerException\r
        {               \r