Commit ea5e4e241dda403a4e718146ff110c79c6bf9506

Bruno Haible 2006-07-25T19:38:53

Trivial simplification.