"Random" library error

Frantisek Fuka <[email protected]>
Newsgroups gmane.comp.lang.eiffel.smalleiffel
Message-ID <[email protected]>
The gen_rand.e file in "random" library contains the following:
 
"ensure Result > 0 and Result <= 1"
 
Shouldn't this be "ensure Result >= 0 and Result < 1" instead?

-- 
Frantisek Fuka (yes, that IS my real name)
(and it's pronounced "Fran-tjee-shek Foo-kah")
My E-Mail: [email protected]
My Homepage: http://www.fuxoft.cz
My ICQ UIN: 2745855
FFFILM: http://www.fuxoft.cz/fffilm/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.