(reader): Just return if a complaint has been issued,

instead of exiting, so that 'main' can report times.

diff --git a/src/reader.c b/src/reader.c
index 928a5408046d635d99fde1ef1ccf9f9a47fd3f0c..1e94d1802acbb25dbdccf020f8f4ae5d3e0da341 100644 (file)
--- a/src/reader.c
+++ b/src/reader.c
@@ -508,7 +508,7 @@ reader (void)
   /* If something went wrong during the parsing, don't try to
      continue.  */
   if (complaint_issued)
-    exit (EXIT_FAILURE);
+    return;
 
   /* Grammar has been read.  Do some checking */
   if (nrules == 0)