Commit 674d0dd44bd45d5ccda733a0f0e2b3f764095b84

Bruno Haible 2008-09-21T16:43:46

Remove useless ASSERTs.