try to make mp3decoder pass SSJava checking

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

diff --git a/Robust/src/ClassLibrary/SSJava/FileOutputStream.java b/Robust/src/ClassLibrary/SSJava/FileOutputStream.java
index 78fe1bb9f455d0823dc7be947e9c25b20de50a89..fddf74f3ff898882e6470cfa75ad5fbc58ed639b 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/FileOutputStream.java
+++ b/Robust/src/ClassLibrary/SSJava/FileOutputStream.java
@@ -1,7 +1,7 @@
 //import java.io.FileDescriptor;
-
+@LATTICE("FD")
 public class FileOutputStream extends OutputStream {
-  private int fd;
+  @LOC("FD") private int fd;
 
   public FileOutputStream(String pathname) {
     fd=nativeOpen(pathname.getBytes());