Fixed Win32 files closed bug.

[splint.git] / src / llmain.c

diff --git a/src/llmain.c b/src/llmain.c
index 343441f64c0148d009b25581b2457477aa6b49a1..e2b29b591d464f87896ed3579442684c3a09c451 100644 (file)
--- a/src/llmain.c
+++ b/src/llmain.c
@@ -822,6 +822,8 @@ int main (int argc, char *argv[])
   **  will be <tmpprefix>.<file>.c)
   */
 
+  /* Why was this here?  It is always a bug... */
+# if 0
   {
 # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
     int nfiles = /*@-unrecog@*/ _fcloseall (); /*@=unrecog@*/
@@ -832,6 +834,7 @@ int main (int argc, char *argv[])
       }
 # endif
   }
+# endif
 
   DPRINTF (("Initializing..."));