make get_byte scan text

This commit is contained in:
Vitor Santos Costa 2016-08-15 14:50:23 -05:00
parent 02bd8a1760
commit 2595555982

View File

@ -1045,7 +1045,7 @@ static Int peek_byte(USES_REGS1) { /* at_end_of_stream */
if (sno < 0)
return (FALSE);
if (!(GLOBAL_Stream[sno].status & Binary_Stream_f)) {
if (false && !(GLOBAL_Stream[sno].status & Binary_Stream_f)) {
UNLOCK(GLOBAL_Stream[sno].streamlock);
Yap_Error(PERMISSION_ERROR_INPUT_BINARY_STREAM, ARG1, "peek_byte/2");
return (FALSE);