X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3Decoder%2FBitReserve.java;h=d6dc322fb8d86a5d5069395daa1ccc73e9bac2cd;hb=338b40f8f52cf09dc5fcef67796acc65a69758b9;hp=83ba5dfa4ed4c20e76de495c0b150c2aba4267c0;hpb=bb1740841625c379adb5c9220b165109adc13650;p=IRC.git

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java
index 83ba5dfa..d6dc322f 100644
--- 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
    *          the number of
    */
+  @PCLOC("THIS,BitReserve.BIT")
   public int hgetbits(@LOC("THIS,BitReserve.BIT") int N) {
 
     totbit += N;