From: Jim Meyering <jim@meyering.net>
Date: Sun, 20 Jul 2003 15:49:08 +0000 (+0000)
Subject: (close_stdout_set_status, close_stdout_status): Remove.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cb22b3afc19cab8700313165609f262c0b502af9;p=pspp

(close_stdout_set_status, close_stdout_status): Remove.
---

diff --git a/lib/closeout.h b/lib/closeout.h
index 0a2933005f..d27d7601eb 100644
--- a/lib/closeout.h
+++ b/lib/closeout.h
@@ -19,9 +19,7 @@
 #ifndef CLOSEOUT_H
 # define CLOSEOUT_H 1
 
-void close_stdout_set_status (int status);
 void close_stdout_set_file_name (const char *file);
 void close_stdout (void);
-void close_stdout_status (int status);
 
 #endif