try to fix annotation errors

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

diff --git a/Robust/src/Tests/ssJava/mp3decoder/SynthesisFilter.java b/Robust/src/Tests/ssJava/mp3decoder/SynthesisFilter.java
index 8b152fd997868bdd6b73e06725ef74d38aa8a6d4..1a34e903345bd0f74c512dd04a6d6845e6b1ceb9 100644 (file)
--- a/Robust/src/Tests/ssJava/mp3decoder/SynthesisFilter.java
+++ b/Robust/src/Tests/ssJava/mp3decoder/SynthesisFilter.java
@@ -463,7 +463,7 @@ final class SynthesisFilter
     new_v15 = p15;\r
     new_v13 = p15 + p7;\r
     new_v11 = p15 + p7 + p11;\r
-    new_v5 = new_v11 + p5 + p13;\r
+    new_v5 = p15 + p7 + p11 + p5 + p13;\r
     \r
 //    new_v7 = (new_v9 = p15 + p11 + p3) + p13;\r
     new_v9 = p15 + p11 + p3;\r