--- hatari/src/uae-cpu/gencpu.c	2019/04/01 07:10:59	1.1.1.5
+++ hatari/src/uae-cpu/gencpu.c	2019/04/01 07:11:35	1.1.1.6
@@ -22,7 +22,7 @@
  * This file is distributed under the GNU Public License, version 2 or at
  * your option any later version. Read the file gpl.txt for details.
  */
-static char rcsid[] = "Hatari $Id: gencpu.c,v 1.1.1.5 2019/04/01 07:10:59 root Exp $";
+char GenCpu_rcsid[] = "Hatari $Id: gencpu.c,v 1.1.1.6 2019/04/01 07:11:35 root Exp $";
 
 #include <ctype.h>
 #include <string.h>
@@ -46,17 +46,12 @@ char exactCpuCycles[256];   /* Space to
  * Initialized to -1 for each opcode. If it remains unchanged, indicates we
  * are done with that opcode.  */
 static int next_cpu_level;
-
-void write_log (const char *s, ...)
-{
-    fprintf (stderr, "%s", s);
-}
-
 static int *opcode_map;
 static int *opcode_next_clev;
 static int *opcode_last_postfix;
 static unsigned long *counts;
 
+
 static void read_counts (void)
 {
     FILE *file;