removed closed_already.

[putex/putex.git] / src / texsourc / tex9.c

diff --git a/src/texsourc/tex9.c b/src/texsourc/tex9.c
index 5e07d68..4b5c628 100644 (file)
--- a/src/texsourc/tex9.c
+++ b/src/texsourc/tex9.c
@@ -87,12 +87,6 @@ void close_files_and_terminate (void)
 {
   integer k; 
 
-  if (closed_already++)
-  {
-    puts("close_files_and_terminated() already ");
-    return;
-  }
-
   if (trace_flag)
     puts("\nclose_files_and_terminate() ");