[gobo-eiffel-develop] Postcondition failure in {DS_HASH_TABLE}.search_position

[Colin P. A. <co...@co...>]

Hello Eric,

While testing gexslt, I've come across a postcondition violation in
this routine. I tried debugging it, but I couldn't work out why the
problem was occurring.

So I've checked in the code, hoping that you can work out what is
wrong.

The following command line will reproduce the problem:

gexslt group021.xsl group021.xml

I will send the two xml files needed for this to you by private email,
as they are from the W3C suite, and so I should not post them on a
public mailing list.
-- 
Colin Adams
Preston Lancashire