trunk: changeset 513
trunk: changeset 513

Fixed a memory allocation problem discovered by valgrind.

darcs-hash:20030506182854-e481e-958baad82d6e27b832e4bd07d27ac0b6d0fbb49d.gz

dkogan/notion.xfttest,knixeur/notion,dkogan/notion,anoduck/notion,anoduck/notion,neg-serg/notion,knixeur/notion,dkogan/notion,dkogan/notion.xfttest,dkogan/notion.xfttest,p5n/notion,knixeur/notion,anoduck/notion,raboof/notion,p5n/notion,raboof/notion,neg-serg/notion,p5n/notion,dkogan/notion,dkogan/notion.xfttest,neg-serg/notion,knixeur/notion,dkogan/notion,neg-serg/notion,dkogan/notion,anoduck/notion,knixeur/notion,anoduck/notion,p5n/notion,p5n/notion,raboof/notion,raboof/notion