# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 976888763 0
# Node ID e2ad3c71947bfb7597c32e450fef7de5964e6a41
# Parent  dab8fe8d55f4785d97769ac270a2920217519de0
(read1): Recognize end of file after `\\'.

diff -r dab8fe8d55f4 -r e2ad3c71947b src/lread.c
--- a/src/lread.c	Fri Dec 15 13:22:21 2000 +0000
+++ b/src/lread.c	Fri Dec 15 13:59:23 2000 +0000
@@ -2271,6 +2271,8 @@
 	      if (c == '\\')
 		{
 		  c = READCHAR;
+		  if (c == -1)
+		    end_of_file_error ();
 		  quoted = 1;
 		}