X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/f9e62f4012096f7ef8d1430541276b2bec85a69d..abc07c2cd4849ffc8cd04b94b2091780fc48aa9e:/src/llmain.c

diff --git a/src/llmain.c b/src/llmain.c
index 343441f..e2b29b5 100644
--- 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..."));