Fixed stupid mistake in {WGI_NINO_INPUT_SREEAM}.end_of_input
This commit is contained in:
@@ -77,7 +77,7 @@ feature -- Status report
|
||||
end_of_input: BOOLEAN
|
||||
-- Has the end of input stream been reached?
|
||||
do
|
||||
Result := source.ready_for_reading
|
||||
Result := not source.ready_for_reading
|
||||
end
|
||||
|
||||
;note
|
||||
|
||||
Reference in New Issue
Block a user