tree 83a2d1fdccdf4a25a05fabe5025f6bb888fc1e23
parent 5752e599b32dc0322fa3352f6c86281c01dc9ee1
author Gilles Peskine <Gilles.Peskine@arm.com> 1622637477 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1623959189 +0200

Remove meaningless clause

We stated that curves were listed "in order of preference", but we never
explained what the preference was, so this was not meaningful.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>