X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fdataset.c;fp=src%2Fdata%2Fdataset.c;h=e11f173948cc0ec1293ffa5f6800a8702e69e074;hb=8d023f3691564159dfd300cc92f386b47186bf50;hp=648e00f04ee1c094ea7a60bf8068b3f60452f0c0;hpb=f2175b7167a5d2abacf3edbb1fa098716fc52442;p=pspp

diff --git a/src/data/dataset.c b/src/data/dataset.c
index 648e00f04e..e11f173948 100644
--- a/src/data/dataset.c
+++ b/src/data/dataset.c
@@ -376,6 +376,8 @@ dataset_set_display (struct dataset *ds, enum dataset_display display)
 time_t
 time_of_last_procedure (struct dataset *ds)
 {
+  if (!ds)
+    return time (NULL);
   if (ds->last_proc_invocation == 0)
     update_last_proc_invocation (ds);
   return ds->last_proc_invocation;