X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmessage-dialog.h;h=8d4526f0b1565c0257f86269b7c8031f71717735;hb=a6df7a4863f51dd4121a067f947335fba197617b;hp=bda1608da6bd309041ef2f72ab7bb31812d0b087;hpb=9f1d9ea8ac4f5e35a773581cf3d5ebd9e219bff8;p=pspp

diff --git a/src/ui/gui/message-dialog.h b/src/ui/gui/message-dialog.h
index bda1608da6..8d4526f0b1 100644
--- a/src/ui/gui/message-dialog.h
+++ b/src/ui/gui/message-dialog.h
@@ -25,5 +25,6 @@
 #include <libpspp/message.h>
 
 void message_dialog_init (void);
+void message_dialog_done (void);
 
 #endif