diff -r a8de7d7a83f1 -r d46ccd96c40f console_cmds.c
--- a/console_cmds.c	Sun Jan 16 17:19:37 2005 +0000
+++ b/console_cmds.c	Sun Jan 16 18:19:33 2005 +0000
@@ -607,17 +607,7 @@
 /* **************************** */
 /*   default console commands   */
 /* **************************** */
-bool CloseConsoleLogIfActive()
-{
-	extern FILE* _iconsole_output_file;
-	if (_iconsole_output_file != NULL) {
-		IConsolePrintF(_iconsole_color_default, "file output complete");
-		fclose(_iconsole_output_file);
-		return true;
-	}
-
-	return false;
-}
+extern bool CloseConsoleLogIfActive(void);
 
 DEF_CONSOLE_CMD(ConScript)
 {