Plugged some small memory leaks
[pspp-builds.git] / src / ui / terminal / main.c
index 0613476b549f88027e431170b18b1c640a2bedac..a99f580d8e613ba987d98f803a2bd3c7530b804d 100644 (file)
@@ -194,6 +194,7 @@ terminate (bool success)
 
       outp_done ();
       msg_ui_done ();
+      fmt_done ();
     }
   exit (success ? EXIT_SUCCESS : EXIT_FAILURE);
 }