superfluous 'do' in a query algebra example

Just by reading your latest version of the query algebra, I spotted what 
might possibly be a small bug:

You give the example
for b in bib0/book do
   let nonbunemans = (for a in b/author do
                                    where a/data() != "Buneman" do
                                       a) do
       where empty(nonbunemans) do
            b

I guess the 'do' after the a) is superfluous.


Ivan


Ivan Herman

Head of Offices, World Wide Web Consortium
C/o W3C Dutch Office hosted at CWI,  Kruislaan 413, 1098 SJ Amsterdam
tel:           +31-20-5924163
fax:          +31-20-5924312
mobile:     +31-62-8881369 (does not work when I am in the US)
email:       ivan@w3.org

Received on Tuesday, 22 May 2001 06:46:45 UTC