X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmsg-ui.c;h=b63ec25bef38fa6c15277c6748f9ffbecba972db;hb=f7bc16cbaf850d5c6a1a577ad3fa3f82944de1e4;hp=6a67a6f1187f2bdcd209e3ad121ae1d980507c4a;hpb=65e61cc92b48297625bc71cf31b8a19e301eb6c1;p=pspp

diff --git a/src/ui/terminal/msg-ui.c b/src/ui/terminal/msg-ui.c
index 6a67a6f118..b63ec25bef 100644
--- 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);