X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fmain.h;h=38554a0987beec83e26e5b329d7b59f0ff33af1b;hb=b9799cdd10b30ea96d9178b7a0d48504d052228c;hp=152bfae3729a91ba1df1f88df06050f878812792;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp-builds.git

diff --git a/src/main.h b/src/main.h
index 152bfae3..38554a09 100644
--- a/src/main.h
+++ b/src/main.h
@@ -17,12 +17,14 @@
    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 */