X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmain.h;h=38554a0987beec83e26e5b329d7b59f0ff33af1b;hb=53ceff2865473a6b561b521986fafd31a993a1a6;hp=076882b92601f00d144f596226521369655458db;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp-builds.git

diff --git a/src/main.h b/src/main.h
index 076882b9..38554a09 100644
--- a/src/main.h
+++ b/src/main.h
@@ -14,15 +14,17 @@
 
    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
-   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
-   02111-1307, USA. */
+   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+   02110-1301, USA. */
 
-#if !main_h
-#define main_h 1
+#if !MAIN_H
+#define MAIN_H 1
+
+#include <stdbool.h>
 
-extern char *pgmname;
-extern char curdate[];
 extern int start_interactive;
 extern int finished;
 
+void terminate (bool success);
+
 #endif /* main.h */