X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire.h;h=408d858ba14b4e65ccfe11c36920a657b06d7c7d;hb=e589b646894ffc013ab5e57981c8ac07bce522dd;hp=92cd13571ca15bebd63e50adc87eddc385145048;hpb=65190c89174ad703a008c89bfc70154dff12def0;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 */