# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1146336739 0
# Node ID 8e7233f487a35e4f5790d91d9db7e6834826d1ab
# Parent  0cb35141fd5ba9d506b02bb5fb0a370eb09daabf
(read_header): Give fatal error if input has no header.

diff -r 0cb35141fd5b -r 8e7233f487a3 lib-src/fakemail.c
--- a/lib-src/fakemail.c	Sat Apr 29 15:58:42 2006 +0000
+++ b/lib-src/fakemail.c	Sat Apr 29 18:52:19 2006 +0000
@@ -694,6 +694,8 @@
 
     } while (true);
 
+  if (! the_header)
+    fatal ("input message has no header");
   return the_header->next;
 }