adding more annotations for mp3decoder

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

diff --git a/Robust/src/Tests/ssJava/mp3decoder/Header.java b/Robust/src/Tests/ssJava/mp3decoder/Header.java
index 456161f2e39d58c109817866c17e837f9d00f74b..406aa4795f7c8d06f03cde62b0c2b82ac1db99ea 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/Header.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/Header.java
@@ -358,6 +358,7 @@ public final class Header
        /**\r
         * Returns Layer ID.\r
         */\r
+       @RETURNLOC("THIS")\r
        public int layer() { return h_layer; }\r
 \r
        /**\r