package neon;

public class Textio {

    public static void writeLine(Object f, String s) {
        ((java.io.PrintStream)f).println(s);
    }

}

@@ -74,16 +74,26 @@
 ject f, 
+java.lang.
 String s

Fix type signature for neon.Textio.writeLine