be able to parse "hello"
This commit is contained in:
parent
8ec6791183
commit
df267a07b9
@ -4001,7 +4001,7 @@ static Int
|
|||||||
and floats */
|
and floats */
|
||||||
old_H = H;
|
old_H = H;
|
||||||
if (Stream[inp_stream].status & Eof_Stream_f) {
|
if (Stream[inp_stream].status & Eof_Stream_f) {
|
||||||
if (Yap_eot_before_eof) {
|
if (Yap_eot_before_eof || (Stream[inp_stream].status & InMemory_Stream_f)) {
|
||||||
/* next read should give out an end of file */
|
/* next read should give out an end of file */
|
||||||
Stream[inp_stream].status |= Push_Eof_Stream_f;
|
Stream[inp_stream].status |= Push_Eof_Stream_f;
|
||||||
} else {
|
} else {
|
||||||
|
Reference in New Issue
Block a user