X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ferror.c;h=3c91f73266ef4848f5a66931322e32ce43e9b2d0;hb=2e02472cf15ddb64c33a1477cf4cfbf3be2d0c95;hp=f3f805c60a3992b538c40c1a365cb24e20d9607a;hpb=2990bac9e19a4a92606c830ab39ef3eb1e555481;p=pspp

diff --git a/src/error.c b/src/error.c
index f3f805c60a..3c91f73266 100644
--- a/src/error.c
+++ b/src/error.c
@@ -203,6 +203,8 @@ err_hcf (int success)
   getl_uninitialize ();
 
   free(file_loc);
+  file_loc = NULL;
+  
   outp_done ();
   done_glob();