generate annotated source code again but it's still not the correct one...

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3DecoderInfer / Header.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Header.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Header.java
index b4ccc69aa02ed39bf060bbe6a8b6e50a359c199b..a2760d60c844ceb6ab3b65ceccb84f7443e58db9 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Header.java
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Header.java
@@ -116,7 +116,8 @@ public final class Header {
   Header() {
   }
 
-  public String toString() {
+  /*
+  public String toString() {    
     StringBuffer buffer = new StringBuffer(200);
     buffer.append("Layer ");
     buffer.append(layer_string());
@@ -136,7 +137,8 @@ public final class Header {
     String s = buffer.toString();
     return s;
   }
-
+  */
+  
   /**
    * Read a 32-bit header from the bitstream.
    */