tree 2107956e5212e12a182f3269c9387f7b56d6b7b5
parent a296e48b2b39ada29417eaebbc410aa32efafda8
author Gilles Peskine <Gilles.Peskine@arm.com> 1619720397 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1649164756 +0200

Add missing type annotation

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