tree 54e2e2740dc6929d6ed76f8aaadb10dd29ff45ea
parent e25a6198245aa2385d3693fbe34a87ea9cf3e0be
author Gilles Peskine <Gilles.Peskine@arm.com> 1691571058 +0200
committer Tomás González <tomasagustin.gonzalezorlando@arm.com> 1698744756 +0000

Fix type annotation

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