diff src/lread.c @ 5610:d69ea1ff4ce3

Add the zero, *then* flush, when reading integers for the #N=... syntax. src/ChangeLog addition: 2011-12-10 Aidan Kehoe <kehoea@parhasard.net> * lread.c (read1): Add the zero, *then* flush, when reading an integer into Vread_buffer_stream.
author Aidan Kehoe <kehoea@parhasard.net>
date Sat, 10 Dec 2011 16:17:49 +0000
parents 7c383c5784ed
children febc025c4e0c
line wrap: on
line diff
--- a/src/lread.c	Fri Dec 09 08:38:07 2011 +0000
+++ b/src/lread.c	Sat Dec 10 16:17:49 2011 +0000
@@ -2710,9 +2710,9 @@
 		  c = readchar (readcharfun);
 		}
 
-	      Lstream_flush (XLSTREAM (Vread_buffer_stream));
 	      /* blasted terminating 0 */
 	      Lstream_put_ichar (XLSTREAM (Vread_buffer_stream), 0);
+	      Lstream_flush (XLSTREAM (Vread_buffer_stream));
 
 	      parsed
 		= parse_integer (resizing_buffer_stream_ptr