add PCLOC annotations. all three benchmarks are type-checked now.

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java
index 83ba5dfa4ed4c20e76de495c0b150c2aba4267c0..d6dc322fb8d86a5d5069395daa1ccc73e9bac2cd 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java
@@ -85,6 +85,7 @@ final class BitReserve {
    * @param N\r
    *          the number of\r
    */\r
+  @PCLOC("THIS,BitReserve.BIT")\r
   public int hgetbits(@LOC("THIS,BitReserve.BIT") int N) {\r
 \r
     totbit += N;\r