--- uae/src/od-dos/video/video.c	2018/04/24 17:02:46	1.1.1.4
+++ uae/src/od-dos/video/video.c	2018/04/24 17:19:10	1.1.1.5
@@ -359,7 +359,7 @@ int needmousehack(void) {
     return(0);
 }
 
-void write_log(const char *buf) {
+void write_log (const char *buf) {
     printf(buf);
 }