X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Ferror.c;h=e062f5ccf428febb1f24d5a993b0264dbe8d675d;hb=b2f22a54346df45ab24d83e1228700649f62d63c;hp=2e012b4bedea3768ad51a1be265789d654e219df;hpb=92bfefccd465052e492f669ce561aa25b0110283;p=pspp

diff --git a/src/error.c b/src/error.c
index 2e012b4bed..e062f5ccf4 100644
--- a/src/error.c
+++ b/src/error.c
@@ -223,9 +223,13 @@ err_hcf (int success)
 {
   terminating = 1;
 
+  lex_done();
   getl_uninitialize ();
 
+  free(file_loc);
   outp_done ();
+  done_glob();
+
 
   exit (success ? EXIT_SUCCESS : EXIT_FAILURE);
 }