From 29a94ceb76936b88e74052dcb81fe506145f6ff4 Mon Sep 17 00:00:00 2001
From: Paul Smith <psmith@gnu.org>
Date: Sat, 14 Sep 2013 20:40:30 -0400
Subject: [SV 33134] Don't try to close stdout when it's already closed.

---
 makeint.h | 2 --
 1 file changed, 2 deletions(-)

(limited to 'makeint.h')

diff --git a/makeint.h b/makeint.h
index 276a13d..dac5858 100644
--- a/makeint.h
+++ b/makeint.h
@@ -493,8 +493,6 @@ void user_access (void);
 void make_access (void);
 void child_access (void);
 
-void close_stdout (void);
-
 char *strip_whitespace (const char **begpp, const char **endpp);
 
 /* String caching  */
-- 
cgit v1.2.3