Commit 5b93d3dc7d2a5186176259dcf11fac708e399e97

Bruno Haible 2003-06-23T09:57:10

Avoid a gcc warning.