try to make mp3decoder pass SSJava checking

[IRC.git] / Robust / src / ClassLibrary / SSJava / BufferedInputStream.java

diff --git a/Robust/src/ClassLibrary/SSJava/BufferedInputStream.java b/Robust/src/ClassLibrary/SSJava/BufferedInputStream.java
index cc8b9f3357cc58b6b5b4a14f8559e1b5fa74f89a..ead2f26f3c514e1aa2f328fc702256df41f93fc4 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/BufferedInputStream.java
+++ b/Robust/src/ClassLibrary/SSJava/BufferedInputStream.java
@@ -61,7 +61,7 @@ exception statement from your version. */
  * @author Warren Levy (warrenl@cygnus.com)
  * @author Jeroen Frijters (jeroen@frijters.net)
  */
-@LATTICE("BUF<C")
+@LATTICE("BUF<C,IN<T")
 @METHODDEFAULT("D<IN,D<C,THISLOC=D")
 public class BufferedInputStream extends FilterInputStream
 {