more IO stuff

[IRC.git] / Robust / src / ClassLibrary / Writer.java

diff --git a/Robust/src/ClassLibrary/Writer.java b/Robust/src/ClassLibrary/Writer.java
index 2c3000f914ef715e4de727082facf3dd854c88d4..c245a141c429a8b71ba9225df8f67f4248740d50 100644 (file)
--- a/Robust/src/ClassLibrary/Writer.java
+++ b/Robust/src/ClassLibrary/Writer.java
@@ -6,4 +6,7 @@ public class Writer {
     public void write(String s, int off, int len) {
        write(s.substring(off, off+len));
     }
+
+    public void flush() {
+    }
 }