highlighting

This commit is contained in:
Vítor Santos Costa 2016-03-30 01:27:54 +01:00
parent a304fc721a
commit 2d8fdad839

View File

@ -1166,7 +1166,7 @@ static Int
Yap_CheckStream(ARG1, Input_Stream_f | Output_Stream_f | Append_Stream_f, Yap_CheckStream(ARG1, Input_Stream_f | Output_Stream_f | Append_Stream_f,
"set_stream_position/2"); "set_stream_position/2");
if (sno < 0) { if (sno < 0) {
return (FALSE); return false;
} }
tin = Deref(ARG2); tin = Deref(ARG2);
if (IsVarTerm(tin)) { if (IsVarTerm(tin)) {