Adapt to most recent gnulib.

[pspp] / src / ui / terminal / msg-ui.c

diff --git a/src/ui/terminal/msg-ui.c b/src/ui/terminal/msg-ui.c
index 6a67a6f1187f2bdcd209e3ad121ae1d980507c4a..b63ec25bef38fa6c15277c6748f9ffbecba972db 100644 (file)
--- a/src/ui/terminal/msg-ui.c
+++ b/src/ui/terminal/msg-ui.c
@@ -1,6 +1,5 @@
 /* PSPP - computes sample statistics.
    Copyright (C) 1997-9, 2000, 2006 Free Software Foundation, Inc.
-   Written by Ben Pfaff <blp@gnu.org>.
 
    This program is free software; you can redistribute it and/or
    modify it under the terms of the GNU General Public License as
@@ -21,7 +20,6 @@
 
 #include "msg-ui.h"
 
-#include "exit.h"
 #include "linebreak.h"
 
 #include <libpspp/msg-locator.h>
@@ -31,7 +29,7 @@
 #include <libpspp/str.h>
 #include <errno.h>
 #include <stdio.h>
-
+#include <stdlib.h>
 
 #include "gettext.h"
 #define _(msgid) gettext (msgid)
@@ -76,6 +74,7 @@ void
 msg_ui_done (void) 
 {
   msg_done ();
+  msg_locator_done ();
   
   if ( msg_file ) /* FIXME: do we really want to close stdout ?? */
     fclose (msg_file);