X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmsg-ui.c;fp=src%2Fui%2Fterminal%2Fmsg-ui.c;h=9cbbf10f7998f0bbd541b3356e23bb136edfa072;hb=6a856ba6fc06843fd02886087c769247de4d08f0;hp=6a67a6f1187f2bdcd209e3ad121ae1d980507c4a;hpb=6497384e745ce6e67776bf6c5ce8bf108bc57cbc;p=pspp-builds.git

diff --git a/src/ui/terminal/msg-ui.c b/src/ui/terminal/msg-ui.c
index 6a67a6f1..9cbbf10f 100644
--- a/src/ui/terminal/msg-ui.c
+++ b/src/ui/terminal/msg-ui.c
@@ -76,6 +76,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);