mp3decoder compiled by our research compiler produces the same output that I get...

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

diff --git a/Robust/src/Tests/ssJava/mp3decoder/Decoder.java b/Robust/src/Tests/ssJava/mp3decoder/Decoder.java
index 87f1b7f325acd50dd72591ed6f8ab744f875fffb..e7ca3fd22f0d4016b158eb092df76ac69bcbd911 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/Decoder.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/Decoder.java
@@ -146,7 +146,7 @@ public class Decoder implements DecoderErrors {
     @LOC("TH") int layer = header.layer();\r
 \r
     output.clear_buffer();\r
-System.out.println("HERE?="+layer);\r
+    \r
     @LOC("DE,Decoder.DE") FrameDecoder decoder = retrieveDecoder(header, stream, layer); // return\r
                                                                                          // ceil=DELTA(TH)\r
     decoder.decodeFrame();\r