read_word_using's behavior in TEXT_FILE_READ

[小泉 悟]

Dear Liberty Eiffel community

I made a program which use read_word_using of TEXT_FILE_READ: test.e
When I compile the program with boost option and run it, the result is as 
expected.
("key1 value1” is displayed.)
But when I compile it with no option and run it, the result is "Require 
Assertion Violated.”
Is my usage of read_word_using wrong? 

KOIZUMI Satoru

test.e
Description: Binary data

test.txt
Description: Text document