Assume `free (NULL)' works.

diff --git a/src/date.c b/src/date.c
index 0cabe3aae6bd180d9ec23255f73ff3fb16151929..dc0efd2a279abc31fbd95931d1b8a00579853674 100644 (file)
--- a/src/date.c
+++ b/src/date.c
@@ -285,8 +285,7 @@ batch_convert (const char *input_filename, const char *format)
   if (fclose (in_stream) == EOF)
     error (EXIT_FAILURE, errno, "%s", quote (input_filename));
 
-  if (line != NULL)
-    free (line);
+  free (line);
 
   return ok;
 }