--- uae/src/build68k.c	2018/04/24 16:40:03	1.1.1.3
+++ uae/src/build68k.c	2018/04/24 16:48:45	1.1.1.4
@@ -242,6 +242,5 @@ int main(int argc, char **argv)
 	}
     }
     printf("};\nint n_defs68k = %d;\n", no_insns);
-    fclose(tablef);
     return 0;
 }