X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fpsppire.h;h=408d858ba14b4e65ccfe11c36920a657b06d7c7d;hb=d112adc6bdbab5593d533fdc8853e80a2cb358e7;hp=92cd13571ca15bebd63e50adc87eddc385145048;hpb=fe76b9c2c49a0dd33aad5dfe3f03a056e6f96c21;p=pspp-builds.git

diff --git a/src/ui/gui/psppire.h b/src/ui/gui/psppire.h
index 92cd1357..408d858b 100644
--- a/src/ui/gui/psppire.h
+++ b/src/ui/gui/psppire.h
@@ -22,8 +22,9 @@
 struct command_line_processor ;
 extern const struct argp non_option_argp ;
 
-
 void initialize (struct command_line_processor *, int argc, char **argv);
 void de_initialize (void);
+void psppire_quit (void);
+
 
 #endif /* PSPPIRE_H */