stdio vararg decls

[m6w6/ext-psi] / psi.d / stdio.psi

diff --git a/psi.d/stdio.psi b/psi.d/stdio.psi
index 1e136cef1caaa8101152fac63c3bd6134843ba57..0741874ac5ba0af4ee0ddefb83c3672ad3278d8e 100644 (file)
--- a/psi.d/stdio.psi
+++ b/psi.d/stdio.psi
@@ -65,7 +65,7 @@ function psi\rewind(object $stream) : void {
        return void(rewind);
 }
 
-extern int printf(const char *fmt, ...);
+//extern int printf(const char *fmt, ...);
 function psi\printf(string $fmt, mixed ...$args) : int {
        let fmt = strval($fmt);
        return to_int(printf);