X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fvfm.c;h=3b403995e70ea0ce54ec6a39067c9a818010a12a;hb=5ea5547d895d8b0930868378f3eeed39bb3ec731;hp=8f594797d30ced2a6387d50ebdffad33e72c7dda;hpb=bd68eeaf9bf3dba6052943d41a907bc3c3dd3b9b;p=pspp

diff --git a/src/vfm.c b/src/vfm.c
index 8f594797d3..3b403995e7 100644
--- a/src/vfm.c
+++ b/src/vfm.c
@@ -406,11 +406,8 @@ close_active_file (void)
     dict_compact_values (default_dict);
     
   /* Free data source. */
-  if (vfm_source != NULL) 
-    {
-      free_case_source (vfm_source);
-      vfm_source = NULL;
-    }
+  free_case_source (vfm_source);
+  vfm_source = NULL;
 
   /* Old data sink becomes new data source. */
   if (vfm_sink->class->make_source != NULL)