X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fgetline.c;h=b5d87bc32d5c69b7ffbe25f88d50dec0947710c2;hb=ef05645131b8163a4bb9839e609bb76d553b80e9;hp=a5b0148e1dedb4203d7b736079c057a2387b85f1;hpb=92bfefccd465052e492f669ce561aa25b0110283;p=pspp-builds.git

diff --git a/src/getline.c b/src/getline.c
index a5b0148e..b5d87bc3 100644
--- a/src/getline.c
+++ b/src/getline.c
@@ -81,10 +81,13 @@ getl_initialize (void)
 void
 getl_uninitialize (void)
 {
+  getl_close_all();
 #if HAVE_LIBHISTORY && defined (unix)
   if (history_file)
     write_history (history_file);
 #endif
+  ds_destroy (&getl_buf);
+  ds_destroy (&getl_include_path);
 }
 
 /* Returns a string that represents the directory that the syntax file