Index: src/sen/sen.l
===================================================================
--- src/sen/sen.l	(revision ac25afd65b189d5b88120229128a777cf9edf93f)
+++ src/sen/sen.l	(revision acbabee74272f626d34fbc8e42126d06c76c7903)
@@ -54,5 +54,5 @@
 .*                        { ECHO; set_position(); }
 
-<<EOF>>                   { printf("%04d 00 EOS *\n",pos+len); exit(1); }
+<<EOF>>                   { printf("%04d 00 EOS *\n",pos+len); exit(0); }
 
 %%