Commit 90988ede07abd2e58283d5e06b1b69f74b6967d2

Bruno Haible 2007-06-09T11:11:14

Update after allocsa -> malloca renaming.