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

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/Equalizer.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/Equalizer.java
index 90182cc808e48a2254ddddef0d6ad59bac156a7c..f5aea8a68450021bda7f26359c85f5622cbe4747 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/Equalizer.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/Equalizer.java
@@ -173,6 +173,7 @@ public final class Equalizer {
    * \r
    */\r
   @RETURNLOC("C")\r
+  @PCLOC("C")\r
   float getBandFactor(@LOC("IN") float eq) {\r
     if (eq == BAND_NOT_PRESENT)\r
       return 0.0f;\r