X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput.c;h=59bccb8045324f707f792d3be6be4f2feabc1ec3;hb=f62700038e9edd7d8002242015a900a15626bceb;hp=60d240104afc5b940427f8d8e742b86a263d1dd1;hpb=cec355d10ca3bc2e40c76efce9805eb3b1b9c212;p=pspp

diff --git a/src/output.c b/src/output.c
index 60d240104a..59bccb8045 100644
--- a/src/output.c
+++ b/src/output.c
@@ -34,6 +34,9 @@
 #include "settings.h"
 #include "str.h"
 
+#include "gettext.h"
+#define _(msgid) gettext (msgid)
+
 /* FIXME? Should the output configuration format be changed to
    drivername:classname:devicetype:options, where devicetype is zero
    or more of screen, printer, listing? */
@@ -455,8 +458,13 @@ outp_done (void)
       free(n);
       n = next;
     }
+  outp_class_list = NULL;
+
   free (outp_title);
+  outp_title = NULL;
+  
   free (outp_subtitle);
+  outp_subtitle = NULL;
 
   return 1;
 }