@@ -140,11 +140,11 @@
 	void *(*malloc)(size_t);
 	void *(*calloc)(size_t, size_t);
 	void *(*realloc)(void *, size_t);
 	void (*free)(void *);
 	int (*vfprintf)(FILE *, const char *, va_list);
-	int (*fputs)(const char *, FILE *);
+	int (*fflush)(FILE *);
 	void (*exit)(int);
 	void (*abort)(void);
 	int (*_Unwind_RaiseException)(void *_Nonnull);
 	void (*_Unwind_DeleteException)(void *_Nonnull);
 	void *(*_Unwind_GetLanguageSpecificData)(void *_Nonnull);
@@ -338,9 +338,10 @@
 
 #define OBJC_ERROR(...)							\
 	{								\
 		fprintf(stderr, "[objc @ " __FILE__ ":%d] ", __LINE__);	\
 		fprintf(stderr, __VA_ARGS__);				\
-		fputs("\n", stderr);					\
+		fprintf(stderr, "\n");					\
+		fflush(stderr);						\
 		abort();						\
 		OF_UNREACHABLE						\
 	}