@@ -61,7 +61,7 @@ int fileSize(void* h) {
62int idris_writeStr(void* h, char* str) {
62int idris_writeStr(void* h, char* str) {
63 FILE* f = (FILE*)h;
63 FILE* f = (FILE*)h;
64− if (fputs(str, f)) {
64+ if (fputs(str, f) >= 0) {
67 return -1;
67 return -1;